gawk-info.patch

   1 diff -Nru gawk-3.1.2.orig/doc/gawk.texi gawk-3.1.2/doc/gawk.texi
   2 --- gawk-3.1.2.orig/doc/gawk.texi       Wed Mar 19 12:41:28 2003
   3 +++ gawk-3.1.2/doc/gawk.texi    Fri Apr  4 13:08:14 2003
   4 @@ -4,13 +4,9 @@
   5  @settitle The GNU Awk User's Guide
   6  @c %**end of header (This is for running Texinfo on a region.)
   7
   8 -@dircategory Text creation and manipulation
   9 +@dircategory Programming Languages:
  10  @direntry
  11 -* Gawk: (gawk).                 A text scanning and processing language.
  12 -@end direntry
  13 -@dircategory Individual utilities
  14 -@direntry
  15 -* awk: (gawk)Invoking gawk.                     Text scanning and processing.
  16 +* Gawk: (gawk).                                      A text scanning and processing language.
  17  @end direntry
  18
  19  @c @set xref-automatic-section-title
  20 diff -Nru gawk-3.1.2.orig/doc/gawkinet.texi gawk-3.1.2/doc/gawkinet.texi
  21 --- gawk-3.1.2.orig/doc/gawkinet.texi   Wed Mar 19 12:54:56 2003
  22 +++ gawk-3.1.2/doc/gawkinet.texi        Fri Apr  4 13:09:07 2003
  23 @@ -5,9 +5,9 @@
  24  @c %**end of header (This is for running Texinfo on a region.)
  25  @c FIXME: web vs. Web
  26
  27 -@dircategory Text creation and manipulation
  28 +@dircategory Programming Languages:
  29  @direntry
  30 -* Gawkinet: (gawkinet).         TCP/IP Internetworking With `gawk'.
  31 +* Gawkinet: (gawkinet).                             TCP/IP Internetworking With `gawk'.
  32  @end direntry
  33
  34  @iftex