diff -r 042617a1c86c -r fc76b7b79ba9 lib/Tools/latex
--- a/lib/Tools/latex	Tue Apr 08 15:47:05 2008 +0200
+++ b/lib/Tools/latex	Tue Apr 08 15:47:10 2008 +0200
@@ -72,9 +72,6 @@
 
 # operations
 
-#set by configure
-AUTO_PERL=perl
-
 function run_latex () { $ISABELLE_LATEX "\\nonstopmode\\input{$FILEBASE.tex}"; }
 function run_pdflatex () { $ISABELLE_PDFLATEX "\\nonstopmode\\input{$FILEBASE.tex}"; }
 function run_bibtex () { $ISABELLE_BIBTEX </dev/null "$FILEBASE"; }
@@ -86,16 +83,16 @@
   for STYLEFILE in "$ISABELLE_HOME/lib/texinputs"/*.sty
   do
     TARGET="$DIR"/$(basename "$STYLEFILE")
-    "$AUTO_PERL" -p -e 's/\$[I]d:?(?:\s)*([^\$]*)\$//g' "$STYLEFILE" > "$TARGET"
+    perl -p -e 's/\$[I]d:?(?:\s)*([^\$]*)\$//g' "$STYLEFILE" > "$TARGET"
   done
 }
 
 function extract_syms ()
 {
-  "$AUTO_PERL" -n \
+  perl -n \
     -e '(!m,%requires, || m,%requires latin1, || m,%requires amssymb, || m,%requires textcomp,) && m,\\newcommand\{\\isasym(\w+)\}, && print "$1\n";' \
     "$ISABELLE_HOME/lib/texinputs/isabellesym.sty" > "$DIR/syms.lst"
-  "$AUTO_PERL" -n \
+  perl -n \
     -e 'm,\\newcommand\{\\isactrl(\w+)\}, && print "$1\n";' \
     "$ISABELLE_HOME/lib/texinputs/isabelle.sty" > "$DIR/ctrls.lst"
 }