lib/Tools/logo

--- a/lib/Tools/logo	Tue Apr 26 19:50:31 2005 +0200
+++ b/lib/Tools/logo	Tue Apr 26 19:50:57 2005 +0200
@@ -71,7 +71,7 @@
 fi
 
 #set by configure
-AUTO_PERL=/usr/bin/perl
+AUTO_PERL=perl
 
 if [ "$OUTFILE" = "-" ]; then
   "$AUTO_PERL" -p -e "s/<any>/$NAME/" "$ISABELLE_HOME/lib/logo/isabelle_any.eps"