eb1b160f90dcd09444347805fb9dbe408643924d
[packages/gawk.git] / 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
This page took 0.083877 seconds and 2 git commands to generate.