1.1 --- a/lib/Tools/latex	Tue Apr 26 19:50:31 2005 +0200
     1.2 +++ b/lib/Tools/latex	Tue Apr 26 19:50:57 2005 +0200
     1.3 @@ -73,7 +73,7 @@
     1.4  # operations
     1.5  
     1.6  #set by configure
     1.7 -AUTO_PERL=/usr/bin/perl
     1.8 +AUTO_PERL=perl
     1.9  
    1.10  function run_latex () { $ISABELLE_LATEX "\\nonstopmode\\input{$FILEBASE.tex}"; }
    1.11  function run_pdflatex () { $ISABELLE_PDFLATEX "\\nonstopmode\\input{$FILEBASE.tex}"; }