--* Gawk: (gawk.info). A Text Scanning and Processing Language.
-+* Gawk: (gawk) A Text Scanning and Processing Language
+-* Gawk: (gawk). A text scanning and processing language.
+-@end direntry
+-@dircategory Individual utilities
+-@direntry
+-* awk: (gawk)Invoking gawk. Text scanning and processing.
++* Gawk: (gawk). A text scanning and processing language
+ @end direntry
+
+ @set xref-automatic-section-title
+diff -Nru gawk-3.1.3.orig/doc/gawkinet.texi gawk-3.1.3/doc/gawkinet.texi
+--- gawk-3.1.3.orig/doc/gawkinet.texi 2003-05-08 18:26:07.000000000 +0200
++++ gawk-3.1.3/doc/gawkinet.texi 2003-07-09 09:42:35.000000000 +0200
+@@ -5,9 +5,9 @@
+ @c %**end of header (This is for running Texinfo on a region.)
+ @c FIXME: web vs. Web
+
+-@dircategory Network applications
++@dircategory Programming languages:
+ @direntry
+-* Gawkinet: (gawkinet). TCP/IP Internetworking With `gawk'.
++* Gawkinet: (gawkinet). TCP/IP Internetworking With `gawk'