guile1/guile1-fix-texinfo-default-utf8.patch

18 lines
586 B
Diff
Raw Normal View History

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