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/platform.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/platform.texi')
-rw-r--r-- | doc/platform.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/platform.texi b/doc/platform.texi index a852170f4f..73b73fb490 100644 --- a/doc/platform.texi +++ b/doc/platform.texi @@ -1,4 +1,5 @@ \input texinfo @c -*- texinfo -*- +@documentencoding UTF-8 @settitle Platform Specific Information @titlepage |