diff -Naur gawk-3.1.2/doc/gawk.texi gawk-3.1.2.new/doc/gawk.texi --- gawk-3.1.2/doc/gawk.texi 2003-03-19 14:41:28 +0300 +++ gawk-3.1.2.new/doc/gawk.texi 2003-03-25 16:18:47 +0300 @@ -4,7 +4,7 @@ @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 Text tools @direntry * Gawk: (gawk). A text scanning and processing language. @end direntry