-diff -Nru texinfo-3.12s/doc/texinfo.txi texinfo-3.12s.new/doc/texinfo.txi
---- texinfo-3.12s/doc/texinfo.txi Mon Aug 9 22:43:55 1999
-+++ texinfo-3.12s.new/doc/texinfo.txi Wed Sep 8 22:06:16 1999
+diff -Nur texinfo-4.0b.orig/doc/info-stnd.texi texinfo-4.0b/doc/info-stnd.texi
+--- texinfo-4.0b.orig/doc/info-stnd.texi Fri Jun 25 23:57:05 1999
++++ texinfo-4.0b/doc/info-stnd.texi Tue May 22 19:55:40 2001
+@@ -10,9 +10,9 @@
+
+ @include version.texi
+
+-@dircategory Texinfo documentation system
++@dircategory Texinfo documentation system:
+ @direntry
+-* Standalone info program: (info-stnd). Standalone Info-reading program.
++* Standalone info program: (info-stnd). Standalone Info-reading program
+ @end direntry
+
+ @ifinfo
+diff -Nur texinfo-4.0b.orig/doc/info.texi texinfo-4.0b/doc/info.texi
+--- texinfo-4.0b.orig/doc/info.texi Tue May 1 21:45:12 2001
++++ texinfo-4.0b/doc/info.texi Tue May 22 19:55:40 2001
+@@ -8,9 +8,9 @@
+ @comment %**end of header
+ @comment $Id$
+
+-@dircategory Texinfo documentation system
++@dircategory Texinfo documentation system:
+ @direntry
+-* Info: (info). Documentation browsing system.
++* Info: (info). Documentation browsing system
+ @end direntry
+
+ @ifinfo
+diff -Nur texinfo-4.0b.orig/doc/texinfo.txi texinfo-4.0b/doc/texinfo.txi
+--- texinfo-4.0b.orig/doc/texinfo.txi Tue May 1 21:36:20 2001
++++ texinfo-4.0b/doc/texinfo.txi Tue May 22 20:00:29 2001