gawk-info.patch

   1 diff -Nru gawk-3.1.3.orig/doc/gawk.texi gawk-3.1.3/doc/gawk.texi
   2 --- gawk-3.1.3.orig/doc/gawk.texi       2003-07-04 19:40:47.000000000 +0200
   3 +++ gawk-3.1.3/doc/gawk.texi    2003-07-09 09:40:50.000000000 +0200
   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  @set xref-automatic-section-title
  20 diff -Nru gawk-3.1.3.orig/doc/gawkinet.texi gawk-3.1.3/doc/gawkinet.texi
  21 --- gawk-3.1.3.orig/doc/gawkinet.texi   2003-05-08 18:26:07.000000000 +0200
  22 +++ gawk-3.1.3/doc/gawkinet.texi        2003-07-09 09:42:35.000000000 +0200
  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 Network applications
  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