[patch] gawk-3.1.6-gnuinfo.patch

gawk-3.1.6-gnuinfo.patch (text/plain), 971 bytes, created by Ulrich Müller on 2008-11-28 05:58:08 UTC

--- gawk-3.1.6-orig/doc/gawkinet.info	2007-10-22 08:53:07.000000000 +0200
+++ gawk-3.1.6/doc/gawkinet.info	2008-11-28 06:44:41.000000000 +0100
@@ -1,7 +1,8 @@
+This is gawkinet.info, produced by makeinfo version 4.13 from
+gawkinet.texi.
+
 INFO-DIR-SECTION Network applications
 START-INFO-DIR-ENTRY
-This is gawkinet.info, produced by makeinfo version 4.11 from gawkinet.texi.
-
 * Gawkinet: (gawkinet).         TCP/IP Internetworking With `gawk'.
 END-INFO-DIR-ENTRY
 
--- gawk-3.1.6-orig/doc/gawk.info	2007-10-22 08:53:07.000000000 +0200
+++ gawk-3.1.6/doc/gawk.info	2008-11-28 06:44:42.000000000 +0100
@@ -1,7 +1,7 @@
+This is gawk.info, produced by makeinfo version 4.13 from gawk.texi.
+
 INFO-DIR-SECTION Text creation and manipulation
 START-INFO-DIR-ENTRY
-This is gawk.info, produced by makeinfo version 4.11 from gawk.texi.
-
 * Gawk: (gawk).                 A text scanning and processing language.
 END-INFO-DIR-ENTRY
 INFO-DIR-SECTION Individual utilities