1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
--- doc/gri.texi.orig 2011-07-06 14:10:17 UTC
+++ doc/gri.texi
@@ -38,6 +38,7 @@
@comment *** End of HTML stuff ***
@c
@comment OVERRIDE some defaults in texinfo.tex
+@documentencoding ISO-8859-1
@iftex
@message{}
@message{gri.texi: overriding parskip, }
@@ -18486,7 +18487,7 @@ Versions exist for MSDOS, windows, and L
(Actually, the windows version is just the MSDOS version, which can be
run inside an msdos window within windows-95, windows-NT, etc.)
-@subsubsection MSDOS Operating System
+@subsection MSDOS Operating System
@cindex compilation under MSDOS
@cindex MSDOS compilation
@@ -18543,7 +18544,7 @@ To view the output, use a PostScript vie
-@subsubsection LINUX Operating System
+@subsection LINUX Operating System
@cindex compilation under Linux
@cindex linux compilation
@cindex LINUX compilation
|
