diff options
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/source/reautoconf | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/reautoconf b/Build/source/reautoconf index 8456c6b2207..6ded33b7978 100755 --- a/Build/source/reautoconf +++ b/Build/source/reautoconf @@ -1,4 +1,8 @@ #! /bin/sh + +echo "autoconf stuff in transition, do not use! --peb/martin/karl 1feb08" +/bin/false + # $Id$ # This "reautoconf" script found at the root of the TeX Live source tree # runs a hacked autoconf 2.13 in various directories and the |