diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2014-11-02 21:34:01 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2014-11-02 21:34:01 +0200 |
| commit | af1cce266d1b6c875cf01db6c47ada89cbf64411 (patch) | |
| tree | 11e7ad37eda1a0d73ec9321af585228a69bdfae1 /doc/gawktexi.in | |
| parent | 99d0b82fbf3ff42019fadef5fbb396551aa20070 (diff) | |
| parent | c5227d1685aa158e63d4b6a6289063ae985673c1 (diff) | |
| download | egawk-af1cce266d1b6c875cf01db6c47ada89cbf64411.tar.gz egawk-af1cce266d1b6c875cf01db6c47ada89cbf64411.tar.bz2 egawk-af1cce266d1b6c875cf01db6c47ada89cbf64411.zip | |
Merge branch 'gawk-4.1-stable'
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index a9811763..c06bca82 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -1982,8 +1982,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: |