changeset 15779 | aed221aff642 |
parent 14981 | e73f8140af78 |
child 15847 | c05c7670f166 |
--- a/lib/Tools/latex Wed Apr 20 14:18:33 2005 +0200 +++ b/lib/Tools/latex Wed Apr 20 16:03:17 2005 +0200 @@ -73,7 +73,7 @@ # operations #set by configure -AUTO_PERL=perl +AUTO_PERL=/usr/bin/perl function run_latex () { $ISABELLE_LATEX "\\nonstopmode\\input{$FILEBASE.tex}"; } function run_pdflatex () { $ISABELLE_PDFLATEX "\\nonstopmode\\input{$FILEBASE.tex}"; }