diff options
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 76e91b31..5b6d56bf 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -37380,6 +37380,7 @@ Juan Grigera provided a port to Windows32 systems. (This is no longer supported.) + @item @cindex Hankerson, Darrel For many years, @@ -37520,6 +37521,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 @@ -38839,7 +38844,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} @@ -38856,9 +38861,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 |