diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2014-11-02 21:28:38 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2014-11-02 21:28:38 +0200 |
| commit | bae708045f36e3a000acd9de74084e48471bf389 (patch) | |
| tree | 2ac34e52dd615117c161cf2e07ebd2ffc81bdbdd /doc/gawk.texi | |
| parent | 2f19ce406c3c350dcf6de6454d5c7e1bd7755c24 (diff) | |
| download | egawk-bae708045f36e3a000acd9de74084e48471bf389.tar.gz egawk-bae708045f36e3a000acd9de74084e48471bf389.tar.bz2 egawk-bae708045f36e3a000acd9de74084e48471bf389.zip | |
Doc fix w.r.t. awk.info domain.
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index 9e3d63d0..52fd2003 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -2014,8 +2014,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: |