diff options
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 9e39f158..19476ea8 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -15613,9 +15613,6 @@ This element gives a string indicating the platform for which @itemx "mingw" Microsoft Windows, using either DJGPP or MinGW, respectively. -@item "os2" -OS/2. - @item "os390" OS/390. @@ -42853,10 +42850,6 @@ The people maintaining the various @command{gawk} ports are: @item MS-Windows with MinGW @tab Eli Zaretskii, @EMAIL{eliz@@gnu.org,eliz at gnu dot org} -@c Leave this in the document on purpose. -@c OS/2 is not mentioned anywhere else though. -@item OS/2 @tab Andreas Buening, @EMAIL{andreas.buening@@nexgo.de,andreas dot buening at nexgo dot de} - @item VMS @tab John Malmberg, @EMAIL{wb8tyw@@qsl.net,wb8tyw at qsl dot net} @item z/OS (OS/390) @tab Daniel Richard G.@: @EMAIL{skunk@@iSKUNK.ORG,skunk at iSKUNK dot ORG} @@ -43165,7 +43158,6 @@ the file. @command{gawk} may be built on non-POSIX systems as well. The currently supported systems are MS-Windows using MSYS, MSYS2, DJGPP, MinGW, and Cygwin, -@c OS/2, and both Vax/VMS and OpenVMS. Instructions for each system are included in this @value{APPENDIX}. |