--- 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