File gri-texinfo-5.0.patch of Package gri

Index: gri-2.12.23/doc/gri.texi
===================================================================
--- gri-2.12.23.orig/doc/gri.texi
+++ gri-2.12.23/doc/gri.texi
@@ -18486,7 +18486,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