Doc update - awk.info is gone.

1 files changed, 7 insertions, 2 deletions

diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 9ad5d3cb..49acd2f7 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -2015,7 +2015,13 @@ and I even solicited contributions.  Making things available on the Internet
 helps keep the @command{gawk} distribution down to manageable size.
 
 The initial collection of material, such as it is, is still available
-at @uref{ftp://ftp.freefriends.org/arnold/Awkstuff}.  In the hopes of
+at @uref{ftp://ftp.freefriends.org/arnold/Awkstuff}.
+
+If you are @emph{seriously} interested in helping set up a website
+for @command{awk}-language related things, please contact me.
+
+@ignore
+In the hopes of
 doing something more broad, I acquired the @code{awk.info} domain.
 
 However, I found that I could not dedicate enough time to managing
@@ -2031,7 +2037,6 @@ a @command{gawk} extension that you would like to share with the rest
 of the world, please see @uref{http://awk.info/?contribute} for how to
 contribute it to the website.
 
-@ignore
 As of this writing, this website is in search of a maintainer; please
 contact me if you are interested.
 @end ignore