diff options
author | Nicolas George <george@nsup.org> | 2015-02-09 18:17:44 +0300 |
---|---|---|
committer | Nicolas George <george@nsup.org> | 2015-02-19 13:30:30 +0300 |
commit | b491751409bcbc70dc83669ad7f7667cc372528f (patch) | |
tree | 9e1153fb5d73a1e995f06b96858352b49f6e59a1 /doc/general.texi | |
parent | 2280552057bb85b7fa6bd435ffd1c8888203fa30 (diff) |
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.
Diffstat (limited to 'doc/general.texi')
-rw-r--r-- | doc/general.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/general.texi b/doc/general.texi index 49f5ade428..197a800578 100644 --- a/doc/general.texi +++ b/doc/general.texi @@ -1,4 +1,5 @@ \input texinfo @c -*- texinfo -*- +@documentencoding UTF-8 @settitle General Documentation @titlepage |