From d680707683794b92f2fc69e71dcb5b2a154598be Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Mon, 19 Jan 2015 06:32:17 +0200 Subject: Doc edits. --- doc/gawkinet.info | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'doc/gawkinet.info') diff --git a/doc/gawkinet.info b/doc/gawkinet.info index 0a0d69d8..d726be0b 100644 --- a/doc/gawkinet.info +++ b/doc/gawkinet.info @@ -6,7 +6,7 @@ START-INFO-DIR-ENTRY * Gawkinet: (gawkinet). TCP/IP Internetworking With `gawk'. END-INFO-DIR-ENTRY - This is Edition 1.3 of `TCP/IP Internetworking With `gawk'', for the + This is Edition 1.3 of `TCP/IP Internetworking with `gawk'', for the 4.0.0 (or later) version of the GNU implementation of AWK. @@ -30,7 +30,7 @@ texts being (a) (see below), and with the Back-Cover Texts being (b) This file documents the networking features in GNU `awk'. - This is Edition 1.3 of `TCP/IP Internetworking With `gawk'', for the + This is Edition 1.3 of `TCP/IP Internetworking with `gawk'', for the 4.0.0 (or later) version of the GNU implementation of AWK. @@ -61,7 +61,7 @@ General Introduction This file documents the networking features in GNU Awk (`gawk') version 4.0 and later. - This is Edition 1.3 of `TCP/IP Internetworking With `gawk'', for the + This is Edition 1.3 of `TCP/IP Internetworking with `gawk'', for the 4.0.0 (or later) version of the GNU implementation of AWK. -- cgit v1.2.3