--- a/lib/Tools/logo Fri Mar 04 11:44:26 2005 +0100
+++ b/lib/Tools/logo Fri Mar 04 15:07:34 2005 +0100
@@ -71,7 +71,7 @@
fi
#set by configure
-AUTO_PERL=perl
+AUTO_PERL=/usr/bin/perl
if [ "$OUTFILE" = "-" ]; then
"$AUTO_PERL" -p -e "s/<any>/$NAME/" "$ISABELLE_HOME/lib/logo/isabelle_any.eps"