--- a/lib/Tools/mkdir Fri Mar 04 11:44:26 2005 +0100
+++ b/lib/Tools/mkdir Fri Mar 04 15:07:34 2005 +0100
@@ -198,7 +198,7 @@
# document directory
#set by configure
-AUTO_PERL=perl
+AUTO_PERL=/usr/bin/perl
if [ -e document ]; then
echo "keeping $PREFIX/document" >&2