diff -r 6f24b0c36dbd -r c05c7670f166 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"