blob: f9b2dedf914f33fe714ec762697169b5b6d94d6f (
plain)
1
2
3
4
5
6
7
8
9
10
|
diff -Naur gri-2.12.23/doc/gri.texi gri-2.12.23-new/doc/gri.texi
--- gri-2.12.23/doc/gri.texi 2017-08-24 15:31:52.000000000 +0100
+++ gri-2.12.23-new/doc/gri.texi 2019-10-22 16:13:33.476840964 +0100
@@ -1,5 +1,5 @@
\input texinfo
-
+@documentencoding ISO-8859-1
@c
@comment *** Start of HTML stuff ***
@comment # HTML support, via comments in texinfo:
|
