diff options
| -rwxr-xr-x | dist-tools/indexgen.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dist-tools/indexgen.sh b/dist-tools/indexgen.sh index 0fac4259..f24392e9 100755 --- a/dist-tools/indexgen.sh +++ b/dist-tools/indexgen.sh @@ -2,6 +2,9 @@ # # indexgen.sh -- generate current version of fetchmail home page. # +echo "This script is hopelessly out of date. Abort." >&2 +exit 1 + goldvers="6.2.0" goldname="6.2.0" version=`sed -n <Makefile.in "/VERSION *= */s/VERSION *= *\([^ ]*\)/\1/p"` |