diff options
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index ae389448..3fa98afd 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -38366,6 +38366,7 @@ Juan Grigera provided a port to Windows32 systems. (This is no longer supported.) + @item @cindex Hankerson, Darrel For many years, @@ -38506,6 +38507,10 @@ Antonio Giovanni Colombo rewrote a number of examples in the early chapters that were severely dated, for which I am incredibly grateful. @item +@cindex Guerrero, Juan Manuel +Juan Manuel Guerrero took over maintenance of the DJGPP port. + +@item @cindex Robbins, Arnold Arnold Robbins has been working on @command{gawk} since 1988, at first @@ -39825,7 +39830,7 @@ The people maintaining the various @command{gawk} ports are: @multitable {MS-Windows with MinGW} {123456789012345678901234567890123456789001234567890} @item Unix and POSIX systems @tab Arnold Robbins, @EMAIL{arnold@@skeeve.com,arnold at skeeve dot com} -@c @item MS-DOS with DJGPP @tab Scott Deifik, @EMAIL{scottd.mail@@sbcglobal.net,scottd dot mail at sbcglobal dot net} +@item MS-DOS with DJGPP @tab Juan Manuel Guerrero, @EMAIL{juan.guerrero@@gmx.de, juan dot guerrero at gmx dot de} @item MS-Windows with MinGW @tab Eli Zaretskii, @EMAIL{eliz@@gnu.org,eliz at gnu dot org} @@ -39842,9 +39847,12 @@ The people maintaining the various @command{gawk} ports are: If your bug is also reproducible under Unix, send a copy of your report to the @EMAIL{bug-gawk@@gnu.org,bug-gawk at gnu dot org} email list as well. -The DJGPP port is no longer supported; it will remain in the code base for a while in case -a volunteer wishes to take it over. If this does not happen, then eventually code for this -port will be removed. +@c 7/2017, Juan Guerrero has taken over the DJGPP port. +@ignore +The DJGPP port is no longer supported; it will remain in the code base +for a while in case a volunteer wishes to take it over. If this does +not happen, then eventually code for this port will be removed. +@end ignore @node Other Versions @appendixsec Other Freely Available @command{awk} Implementations |