--- gawk-3.1.5/doc/gawk.texi.orig 2006-07-14 09:52:25 +0000 +++ gawk-3.1.5/doc/gawk.texi 2006-07-14 10:23:32 +0000 @@ -4,9 +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 Text tools @direntry -* Gawk: (gawk). A text scanning and processing language. +* Gawk: (gawk). A text scanning and processing language. @end direntry @dircategory Individual utilities @direntry