-diff -Nru gawk-3.0.3/doc/gawk.texi gawk-3.0.3.new/doc/gawk.texi
---- gawk-3.0.3/doc/gawk.texi Fri Mar 7 03:34:52 1997
-+++ gawk-3.0.3.new/doc/gawk.texi Sat Jan 2 21:21:28 1999
-@@ -7,9 +7,9 @@
- @c inside ifinfo for older versions of texinfo.tex
- @ifinfo
- @c I hope this is the right category
--@dircategory Programming Languages
+diff -Nru gawk-3.1.3.orig/doc/gawk.texi gawk-3.1.3/doc/gawk.texi
+--- gawk-3.1.3.orig/doc/gawk.texi 2003-07-04 19:40:47.000000000 +0200
++++ gawk-3.1.3/doc/gawk.texi 2003-07-09 09:40:50.000000000 +0200
+@@ -4,13 +4,9 @@
+ @settitle The GNU Awk User's Guide
+ @c %**end of header (This is for running Texinfo on a region.)
+
+-@dircategory Text creation and manipulation
+@dircategory Programming Languages:
@direntry
--* 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'
@end direntry
- @end ifinfo
+ @iftex