diff options
| -rw-r--r-- | doc/hurd.texi | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/hurd.texi b/doc/hurd.texi index e74ad2d4..a8479aa4 100644 --- a/doc/hurd.texi +++ b/doc/hurd.texi @@ -1,4 +1,5 @@ \input texinfo @c -*-texinfo-*- +@documentencoding ISO-8859-1 @setfilename hurd.info @c FIXME: might it be useful to have a glossary? |