docs: make the guillemot and the middle dot appear correctly in HTML
For the man page, encode them properly, and for the Info stuff, just set the right document encoding. This fixes https://savannah.gnu.org/bugs/?51369.
Showing
+3 -1
Please register or sign in to comment