diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2019-02-25 08:59:13 +0200 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2019-02-25 08:59:13 +0200 |
commit | ef25d1166e7a183dd4d07f73904775234359de81 (patch) | |
tree | aeec5ece1d5b5061e488b8516b051b390f67cc9b /doc/gawk.info | |
parent | f14c8d4f9b88e0b40a90ded574e0a1b496e305da (diff) | |
download | egawk-ef25d1166e7a183dd4d07f73904775234359de81.tar.gz egawk-ef25d1166e7a183dd4d07f73904775234359de81.tar.bz2 egawk-ef25d1166e7a183dd4d07f73904775234359de81.zip |
Small doc updates.
Diffstat (limited to 'doc/gawk.info')
-rw-r--r-- | doc/gawk.info | 6 |
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. |