Merge branch 'gawk-4.2-stable'

1 files changed, 8 insertions, 27 deletions

diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 8ec07642..dab833d4 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -2046,35 +2046,16 @@ 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}.
 
-If you are @emph{seriously} interested in helping set up a website
-for @command{awk}-language related things, please contact me.
+In the hopes of doing something more broad, I acquired the
+@code{awklang.org} domain.  Late in 2017, a volunteer took on the task
+of managing it.
 
-@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
-contributed code: the archive did not grow and the domain went unused
-for several years.
-
-Late in 2008, a volunteer took on the task of setting up
-an @command{awk}-related website---@uref{http://awk.info}---and did a very
-nice job.
+If you have written an interesting @command{awk} program, that
+you would like to share with the rest of the world, please see
+@uref{http://www.awklang.org} and use the ``Contact'' link.
 
-If you have written an interesting @command{awk} program, or have written
-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.
-
-As of this writing, this website is in search of a maintainer; please
-contact me if you are interested.
-@end ignore
-
-@ignore
-Other links:
-
-https://www.reddit.com/r/linux/comments/dtect/composing_music_in_awk/
-@end ignore
+If you have written a @command{gawk} extension, please see
+@ref{gawkextlib}.
 @end ifclear
 
 @node Acknowledgments