--- doc/ref/guile.texi.orig	2020-05-30 20:06:44 UTC
+++ doc/ref/guile.texi
@@ -1,6 +1,7 @@
 \input texinfo
 @c -*-texinfo-*-
 @c %**start of header
+@documentencoding ISO-8859-1
 @setfilename guile.info
 @documentencoding UTF-8
 @settitle Guile Reference Manual