Nicolas George b491751409 doc: set documentencoding on toplevel texi files. ...

Fix double UTF-8 encoding on output files.
makeinfo / texi2any does not seem to provide a way of setting
it globally for toplevel files.

2015-02-19 11:30:30 +01:00

880 B

Raw Blame History

View Raw