diff options
Diffstat (limited to 'doc/gawkinet.info')
| -rw-r--r-- | doc/gawkinet.info | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/gawkinet.info b/doc/gawkinet.info index ff8eb9b9..9124faa4 100644 --- a/doc/gawkinet.info +++ b/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 |