--- 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"
}