---- gawk-3.1.0/doc/gawk.texi.orig Sun May 13 17:38:13 2001
-+++ gawk-3.1.0/doc/gawk.texi Thu Jul 5 14:17:14 2001
-@@ -4,14 +4,10 @@
+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 GNU Packages
+-@dircategory Text creation and manipulation
+@dircategory Programming Languages:
@direntry
- * Gawk: (gawk). A text scanning and processing language.
- @end direntry
+-* Gawk: (gawk). A text scanning and processing language.
+-@end direntry
-@dircategory Individual utilities
-@direntry
--* awk: (gawk)Invoking gawk. Text scanning and processing.
--@end direntry
+-* awk: (gawk)Invoking gawk. Text scanning and processing.
++* Gawk: (gawk). A text scanning and processing language
+ @end direntry
- @c @set xref-automatic-section-title
+ @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
+ @iftex