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). 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 @iftex