--- configure.orig Thu Jun 13 17:04:03 2002
+++ configure Wed Jul 3 12:46:50 2002
@@ -12084,10 +12085,10 @@
s,@INSTALL_DATA@,$INSTALL_DATA,;t t
s,@PACKAGE@,$PACKAGE,;t t
s,@VERSION@,$VERSION,;t t
-s,@ACLOCAL@,$ACLOCAL,;t t
-s,@AUTOCONF@,$AUTOCONF,;t t
-s,@AUTOMAKE@,$AUTOMAKE,;t t
-s,@AUTOHEADER@,$AUTOHEADER,;t t
+s,@ACLOCAL@,/usr/bin/true,;t t
+s,@AUTOCONF@,/usr/bin/true,;t t
+s,@AUTOMAKE@,/usr/bin/true,;t t
+s,@AUTOHEADER@,/usr/bin/true,;t t
s,@MAKEINFO@,$MAKEINFO,;t t
s,@SET_MAKE@,$SET_MAKE,;t t
s,@CC@,$CC,;t t
