Merge branch 'master' into feature/fix-comments

1 files changed, 34 insertions, 1 deletions

diff --git a/doc/gawk.texi b/doc/gawk.texi
index 22358d1e..6f5f4f81 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -15674,7 +15674,7 @@ are guaranteed to be available:
 
 @table @code
 @item PROCINFO["argv"]
-@cindex command line arguments, @code{PROCINFO["argv"}
+@cindex command line arguments, @code{PROCINFO["argv"]}
 The @code{PROCINFO["argv"]} array contains all of the command-line arguments
 (after glob expansion and redirection processing on platforms where that must
 be done manually by the program) with subscripts ranging from 0 through
@@ -15752,6 +15752,31 @@ The values indicate what @command{gawk} knows about the identifiers
 after it has finished parsing the program; they are @emph{not} updated
 while the program runs.
 
+@item PROCINFO["platform"]
+@cindex platform running on, @code{PROCINFO["platform"]}
+This element gives a string indicating the platform for which
+@command{gawk} was compiled. The value will be one of the following:
+
+@c nested table
+@table @code
+@item "vms"
+OpenVMS or Vax/VMS.
+
+@item "macosx"
+Mac OS X.
+
+@item "cygwin"
+@itemx "djgpp"
+@itemx "mingw"
+Microsoft Windows, using either Cygwin, DJGPP, or MinGW, respectively.
+
+@item "os2"
+OS/2.
+
+@item "posix"
+GNU/Linux and legacy Unix systems.
+@end table
+
 @item PROCINFO["pgrpid"]
 @cindex process group ID of @command{gawk} process
 The process group ID of the current process.
@@ -38869,6 +38894,14 @@ Support for GNU/Linux on Alpha was removed.
 
 @end itemize
 
+Version 5.0 added the following features:
+
+@itemize
+@item
+The @code{PROCINFO["platform"]} array element, which allows you
+to write code that takes the operating system / platform into account.
+@end itemize
+
 @c XXX ADD MORE STUFF HERE
 @end ifclear