Commit f693539b7719ac1bd8655a5c8800c5112515f147
2022-01-27T11:05:39
doc: use UTF-8 encoding * doc/gnulib.texi: Use ‘@documentencoding UTF-8’. Partly this is because there are a few UTF-8 characters in the .texi files and there seems little point nowadays to @U-ifiying them. And partly it is so that the .info output uses nicer UTF-8 characters, e.g., it single-quotes ‘like this’ instead of 'like this'.