diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2017-01-25 19:49:07 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2017-01-25 19:49:07 +0200 |
| commit | 680f611451d82538c2c453dda57799a110bc5d05 (patch) | |
| tree | 40732708bebf5157b6cb02decd74afef319f3fe9 /doc/gawk.texi | |
| parent | 9bcdc40b4d7eea3bac7869520176628c30fb5971 (diff) | |
| parent | a703fd5dc965f2ba253d07ca94771098d5db974e (diff) | |
| download | egawk-680f611451d82538c2c453dda57799a110bc5d05.tar.gz egawk-680f611451d82538c2c453dda57799a110bc5d05.tar.bz2 egawk-680f611451d82538c2c453dda57799a110bc5d05.zip | |
Merge branch 'master' into feature/api-mpfr
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index e78134cb..7acf4bd9 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -2058,7 +2058,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 @@ -2074,7 +2080,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 |