18 lines
586 B
Diff
18 lines
586 B
Diff
|
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
|