summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2019-10-24 20:22:32 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2019-10-24 20:22:32 +0200
commit5e3bffe49bf5f6dd659e946b9e0b957dd16103c6 (patch)
treea663b239a40fdf15cf937a3efbeddb4ce6116c06
parent6be88d4142eec781fd0de6c80b4b4fdaef20c5df (diff)
Fix build with texinfo 6.7
* doc/hurd.texi: Specify document encoding as ISO-8859-1.
-rw-r--r--doc/hurd.texi1
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?