aboutsummaryrefslogtreecommitdiffstats
path: root/doc/gawk.info
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2019-02-25 08:59:13 +0200
committerArnold D. Robbins <arnold@skeeve.com>2019-02-25 08:59:13 +0200
commitef25d1166e7a183dd4d07f73904775234359de81 (patch)
treeaeec5ece1d5b5061e488b8516b051b390f67cc9b /doc/gawk.info
parentf14c8d4f9b88e0b40a90ded574e0a1b496e305da (diff)
downloadegawk-ef25d1166e7a183dd4d07f73904775234359de81.tar.gz
egawk-ef25d1166e7a183dd4d07f73904775234359de81.tar.bz2
egawk-ef25d1166e7a183dd4d07f73904775234359de81.zip
Small doc updates.
Diffstat (limited to 'doc/gawk.info')
-rw-r--r--doc/gawk.info6
1 files changed, 3 insertions, 3 deletions
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.