-diff -Nru gawk-3.1.2.orig/doc/gawk.texi gawk-3.1.2/doc/gawk.texi
---- gawk-3.1.2.orig/doc/gawk.texi Wed Mar 19 12:41:28 2003
-+++ gawk-3.1.2/doc/gawk.texi Fri Apr 4 13:08:14 2003
+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 Individual utilities
-@direntry
-* awk: (gawk)Invoking gawk. Text scanning and processing.
-+* Gawk: (gawk). A text scanning and processing language.
++* Gawk: (gawk). A text scanning and processing language
@end direntry
- @c @set xref-automatic-section-title
-diff -Nru gawk-3.1.2.orig/doc/gawkinet.texi gawk-3.1.2/doc/gawkinet.texi
---- gawk-3.1.2.orig/doc/gawkinet.texi Wed Mar 19 12:54:56 2003
-+++ gawk-3.1.2/doc/gawkinet.texi Fri Apr 4 13:09:07 2003
+ @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 Text creation and manipulation
-+@dircategory Programming Languages:
+-@dircategory Network applications
++@dircategory Programming languages:
@direntry
-* Gawkinet: (gawkinet). TCP/IP Internetworking With `gawk'.
-+* Gawkinet: (gawkinet). TCP/IP Internetworking With `gawk'.
++* Gawkinet: (gawkinet). TCP/IP Internetworking With `gawk'.
@end direntry
@iftex