Small doc updates.

5 files changed, 63 insertions, 16 deletions

diff --git a/doc/ChangeLog b/doc/ChangeLog
index d3da4d20..fedad0ad 100644
--- a/doc/ChangeLog
+++ b/doc/ChangeLog
@@ -1,3 +1,9 @@
+2019-02-20         Arnold D. Robbins     <arnold@skeeve.com>
+
+	* gawktexi.in: Fix order of values for PROCINFO["platform"],
+	save an email in @ignore for possible eventual inclusion.
+	* gawk.1: Correct values for PROCINFO["platform"].
+
 2019-02-17         Arnold D. Robbins     <arnold@skeeve.com>
 
 	* gawktexi.in (Viewing And Changing Data): Revise note for eval
diff --git a/doc/gawk.1 b/doc/gawk.1
index 5dfd0fd1..f24e62a7 100644
--- a/doc/gawk.1
+++ b/doc/gawk.1
@@ -13,7 +13,7 @@
 .		if \w'\(rq' .ds rq "\(rq
 .	\}
 .\}
-.TH GAWK 1 "Feb 03 2019" "Free Software Foundation" "Utility Commands"
+.TH GAWK 1 "Feb 19 2019" "Free Software Foundation" "Utility Commands"
 .SH NAME
 gawk \- pattern scanning and processing language
 .SH SYNOPSIS
@@ -1232,17 +1232,14 @@ A string indicating the platform for which
 was compiled.  It is one of:
 .RS
 .TP
-\fB"cygwin"\fR, \fB"djgpp"\fR, \fB"mingw"\fR
-Microsoft Windows, using either Cygwin, DJGPP, or MinGW, respectively.
-.TP
-\fB"macosx"\fR
-Mac OS X.
+\fB"djgpp"\fR, \fB"mingw"\fR
+Microsoft Windows, using either DJGPP, or MinGW, respectively.
 .TP
 \fB"os2"\fR
 OS/2.
 .TP
 \fB"posix"\fR
-GNU/Linux and legacy Unix systems.
+GNU/Linux, Cygwin, Mac OS X, and legacy Unix systems.
 .TP
 \fB"vms"\fR
 OpenVMS or Vax/VMS.
diff --git a/doc/gawk.info b/doc/gawk.info
index d624d96d..1c24d47d 100644
--- a/doc/gawk.info
+++ b/doc/gawk.info
@@ -11080,9 +11080,6 @@ they are not special:
           This element gives a string indicating the platform for which
           'gawk' was compiled.  The value will be one of the following:
 
-          '"vms"'
-               OpenVMS or Vax/VMS.
-
           '"djgpp"'
           '"mingw"'
                Microsoft Windows, using either DJGPP or MinGW,
@@ -11097,6 +11094,9 @@ they are not special:
           '"posix"'
                GNU/Linux, Cygwin, Mac OS X, and legacy Unix systems.
 
+          '"vms"'
+               OpenVMS or Vax/VMS.
+
      'PROCINFO["pgrpid"]'
           The process group ID of the current process.
 
diff --git a/doc/gawk.texi b/doc/gawk.texi
index 24646435..79679a62 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -5868,6 +5868,28 @@ With the POSIX character classes, you can write
 @code{/[[:alnum:]]/} to match the alphabetic
 and numeric characters in your character set.
 
+@ignore
+From eliz@gnu.org  Fri Feb 15 03:38:41 2019
+Date: Fri, 15 Feb 2019 12:38:23 +0200
+From: Eli Zaretskii <eliz@gnu.org>
+To: arnold@skeeve.com
+CC: pengyu.ut@gmail.com, bug-gawk@gnu.org
+Subject: Re: [bug-gawk] Does gawk character classes follow this?
+
+> From: arnold@skeeve.com
+> Date: Fri, 15 Feb 2019 03:01:34 -0700
+> Cc: pengyu.ut@gmail.com, bug-gawk@gnu.org
+> 
+> I get the feeling that there's something really bothering you, but
+> I don't understand what.
+> 
+> Can you clarify, please?
+
+I thought I already did: we cannot be expected to provide a definitive
+description of what the named classes stand for, because the answer
+depends on various factors out of our control.
+@end ignore
+
 @c Thanks to
 @c Date: Tue, 01 Jul 2014 07:39:51 +0200
 @c From: Hermann Peifer <peifer@gmx.eu>
@@ -15811,9 +15833,6 @@ This element gives a string indicating the platform for which
 
 @c nested table
 @table @code
-@item "vms"
-OpenVMS or Vax/VMS.
-
 @item "djgpp"
 @itemx "mingw"
 Microsoft Windows, using either DJGPP or MinGW, respectively.
@@ -15826,6 +15845,9 @@ OS/390.
 
 @item "posix"
 GNU/Linux, Cygwin, Mac OS X, and legacy Unix systems.
+
+@item "vms"
+OpenVMS or Vax/VMS.
 @end table
 
 @item PROCINFO["pgrpid"]
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 559244f0..1962fe55 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -5695,6 +5695,28 @@ With the POSIX character classes, you can write
 @code{/[[:alnum:]]/} to match the alphabetic
 and numeric characters in your character set.
 
+@ignore
+From eliz@gnu.org  Fri Feb 15 03:38:41 2019
+Date: Fri, 15 Feb 2019 12:38:23 +0200
+From: Eli Zaretskii <eliz@gnu.org>
+To: arnold@skeeve.com
+CC: pengyu.ut@gmail.com, bug-gawk@gnu.org
+Subject: Re: [bug-gawk] Does gawk character classes follow this?
+
+> From: arnold@skeeve.com
+> Date: Fri, 15 Feb 2019 03:01:34 -0700
+> Cc: pengyu.ut@gmail.com, bug-gawk@gnu.org
+> 
+> I get the feeling that there's something really bothering you, but
+> I don't understand what.
+> 
+> Can you clarify, please?
+
+I thought I already did: we cannot be expected to provide a definitive
+description of what the named classes stand for, because the answer
+depends on various factors out of our control.
+@end ignore
+
 @c Thanks to
 @c Date: Tue, 01 Jul 2014 07:39:51 +0200
 @c From: Hermann Peifer <peifer@gmx.eu>
@@ -15128,9 +15150,6 @@ This element gives a string indicating the platform for which
 
 @c nested table
 @table @code
-@item "vms"
-OpenVMS or Vax/VMS.
-
 @item "djgpp"
 @itemx "mingw"
 Microsoft Windows, using either DJGPP or MinGW, respectively.
@@ -15143,6 +15162,9 @@ OS/390.
 
 @item "posix"
 GNU/Linux, Cygwin, Mac OS X, and legacy Unix systems.
+
+@item "vms"
+OpenVMS or Vax/VMS.
 @end table
 
 @item PROCINFO["pgrpid"]