From: Dave Plater <davejplater@gmail.com>
Date: 2019-11-23 14:08:22 +0200
Subject: Fix build with new texinfo's makeinfo.
See:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=941557
The new texinfo assumes UTF8 unless informed otherwise.

Index: doc/ref/guile.texi
===================================================================
--- doc/ref/guile.texi.orig	2010-12-13 19:25:01.000000000 +0200
+++ doc/ref/guile.texi	2019-11-23 14:07:05.087759484 +0200
@@ -1,4 +1,5 @@
 \input texinfo
+@documentencoding ISO-8859-1
 @c -*-texinfo-*-
 @c %**start of header
 @setfilename guile.info