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.