Fix broken Info files produced by texinfo 4.11
http://bugs.gentoo.org/249130

--- gawk-3.1.6/doc/gawkinet.info
+++ gawk-3.1.6/doc/gawkinet.info
@@ -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/doc/gawk.info
+++ gawk-3.1.6/doc/gawk.info
@@ -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