diff options
| author | Luca Weiss <luca@z3ntu.xyz> | 2019-10-24 20:20:59 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2019-10-24 20:20:59 +0200 |
| commit | d6bdc8ca5b08c4c155dc7c53a148937ba451351e (patch) | |
| tree | f6c55e19f01e07bf4d0b82a2fd2694c3ca5a4c49 | |
| parent | cf06b7bc08cb25b42e344a1cc4cdb989156c3f36 (diff) | |
Fix build with texinfo 6.7
doc/mach.texi: Specify document encoding as ISO-8859-1.
| -rw-r--r-- | doc/mach.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/mach.texi b/doc/mach.texi index 913e8bbd..2bd085b2 100644 --- a/doc/mach.texi +++ b/doc/mach.texi @@ -1,4 +1,5 @@ \input texinfo @c -*- Texinfo -*- +@documentencoding ISO-8859-1 @setfilename mach.info @settitle The GNU Mach Reference Manual @setchapternewpage odd |