1 files changed, 38 insertions, 5 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index cd989a54..9a21913b 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -15069,6 +15069,30 @@ 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 "djgpp"
+@itemx "mingw"
+Microsoft Windows, using either DJGPP or MinGW, respectively.
+
+@item "os2"
+OS/2.
+
+@item "os390"
+OS/390.
+
+@item "posix"
+GNU/Linux, Cygwin, Mac OS X, 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.
@@ -37843,6 +37867,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
 
@@ -38805,11 +38837,6 @@ include the major and minor API versions in it. This makes it possible
 to keep extensions for different API versions on the same system
 without their conflicting with one another.
 
-@cindex @option{--with-whiny-user-strftime} configuration option
-@cindex configuration option, @code{--with-whiny-user-strftime}
-@item  --with-whiny-user-strftime
-Force use of the included version of the C @code{strftime()}
-function for deficient systems.
 @end table
 
 Use the command @samp{./configure --help} to see the full list of
@@ -38995,6 +39022,12 @@ appropriate @samp{-v BINMODE=@var{N}} option on the command line.
 @code{BINMODE} is set at the time a file or pipe is opened and cannot be
 changed midstream.
 
+On POSIX-compatible systems, this variable's value has no effect.
+Thus, if you think your program will run on multiple different systems
+and that you may need to use @code{BINMODE}, you should simply set it
+(in the program or on the command line) unconditionally, and not worry
+about the operating system on which your program is running.
+
 The name @code{BINMODE} was chosen to match @command{mawk}
 (@pxref{Other Versions}).
 @command{mawk} and @command{gawk} handle @code{BINMODE} similarly; however,