Minor doc fixes.

5 files changed, 17 insertions, 11 deletions

diff --git a/doc/ChangeLog b/doc/ChangeLog
index e883fd7d..51f19120 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,9 @@
+2018-07-31         Arnold D. Robbins     <arnold@skeeve.com>
+
+	* gawktexi.in (Two-way I/O): Fix some typos.
+	* gawkworkflow.texi (Configuring git): Correct some
+	command usages. Thanks to Antonio Columbo for the fix.
+
 2018-07-31         Ralph Corderoy        <ralph@inputplus.co.uk>
 
 	* gawk.1: Avoid hyphenation in gawk email address.
diff --git a/doc/gawk.info b/doc/gawk.info
index 807fe8a3..bc245e3e 100644
--- a/doc/gawk.info
+++ b/doc/gawk.info
@@ -23480,7 +23480,7 @@ and infinity values.  The solution implemented in 'gawk' is as follows:
      'gawk' ignores case in the four special values.  Thus, '+nan' and
      '+NaN' are the same.
 
-   Besides handling imput, 'gawk' also needs to print "correct" values
+   Besides handling input, 'gawk' also needs to print "correct" values
 on output when a value is either NaN or infinity.  Starting with version
 4.2.2, for such values 'gawk' prints one of the four strings just
 described: '+inf', '-inf', '+nan', or '-nan'.  Similarly, in POSIX mode,
diff --git a/doc/gawk.texi b/doc/gawk.texi
index 675985ed..6db3a2af 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -32700,9 +32700,9 @@ $ @kbd{echo 0xDeadBeef | gawk '@{ print $1 + 0 @}'}
 Thus, @samp{+nan} and @samp{+NaN} are the same.
 @end itemize
 
-Besides handling imput, @command{gawk} also needs to print ``correct'' values on
-output when a value is either NaN or infinity. Starting with version 4.2.2,
-for such values @command{gawk} prints one of the four strings
+Besides handling input, @command{gawk} also needs to print ``correct'' values on
+output when a value is either NaN or infinity. Starting with @value{PVERSION}
+4.2.2, for such values @command{gawk} prints one of the four strings
 just described: @samp{+inf}, @samp{-inf}, @samp{+nan}, or @samp{-nan}.
 Similarly, in POSIX mode, @command{gawk} prints the result of
 the system's C @code{printf()} function using the @code{%g} format string
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 795c5c05..2a2fdd4b 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -31674,9 +31674,9 @@ $ @kbd{echo 0xDeadBeef | gawk '@{ print $1 + 0 @}'}
 Thus, @samp{+nan} and @samp{+NaN} are the same.
 @end itemize
 
-Besides handling imput, @command{gawk} also needs to print ``correct'' values on
-output when a value is either NaN or infinity. Starting with version 4.2.2,
-for such values @command{gawk} prints one of the four strings
+Besides handling input, @command{gawk} also needs to print ``correct'' values on
+output when a value is either NaN or infinity. Starting with @value{PVERSION}
+4.2.2, for such values @command{gawk} prints one of the four strings
 just described: @samp{+inf}, @samp{-inf}, @samp{+nan}, or @samp{-nan}.
 Similarly, in POSIX mode, @command{gawk} prints the result of
 the system's C @code{printf()} function using the @code{%g} format string
diff --git a/doc/gawkworkflow.texi b/doc/gawkworkflow.texi
index 2b971395..90b3c78c 100644
--- a/doc/gawkworkflow.texi
+++ b/doc/gawkworkflow.texi
@@ -28,10 +28,10 @@
 @c applies to and all the info about who's publishing this edition
 
 @c These apply across the board.
-@set UPDATE-MONTH November, 2017
+@set UPDATE-MONTH July, 2018
 
 @set TITLE Participating in @command{gawk} Development
-@set EDITION 0.7
+@set EDITION 0.71
 
 @iftex
 @set DOCUMENT booklet
@@ -903,8 +903,8 @@ the @command{gawk} maintainer recommends that you use are:
 @cindex configuration setting, @code{push.default}
 @cindex configuration setting, @code{pager.status}
 @example
-$ @kbd{git config --global push.default=simple}    @ii{Only push current branch}
-$ @kbd{git config --global pager.status=true}      @ii{Use pager for output of} git status
+$ @kbd{git config --global push.default simple}    @ii{Only push current branch}
+$ @kbd{git config --global pager.status true}      @ii{Use pager for output of} git status
 @end example
 
 @cindex @file{.gitconfig} file