From bae708045f36e3a000acd9de74084e48471bf389 Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Sun, 2 Nov 2014 21:28:38 +0200 Subject: Doc fix w.r.t. awk.info domain. --- doc/gawktexi.in | 2 ++ 1 file changed, 2 insertions(+) (limited to 'doc/gawktexi.in') diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 2599b8ca..6a66f8c4 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -1981,8 +1981,10 @@ 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 web site. +@ignore As of this writing, this website is in search of a maintainer; please contact me if you are interested. +@end ignore @ignore Other links: -- cgit v1.2.3