gawk-info.patch

   1 --- gawk-3.1.0/doc/gawk.texi.orig       Sun May 13 17:38:13 2001
   2 +++ gawk-3.1.0/doc/gawk.texi    Thu Jul  5 14:17:14 2001
   3 @@ -4,14 +4,10 @@
   4  @settitle The GNU Awk User's Guide
   5  @c %**end of header (This is for running Texinfo on a region.)
   6
   7 -@dircategory GNU Packages
   8 +@dircategory Programming Languages:
   9  @direntry
  10  * Gawk: (gawk).           A text scanning and processing language.
  11  @end direntry
  12 -@dircategory Individual utilities
  13 -@direntry
  14 -* awk: (gawk)Invoking gawk.           Text scanning and processing.
  15 -@end direntry
  16
  17  @c @set xref-automatic-section-title
  18