--- a/lib/Tools/document Sat Oct 04 16:05:08 2008 +0200
+++ b/lib/Tools/document Sat Oct 04 16:05:09 2008 +0200
@@ -119,11 +119,11 @@
{
local FMT="$1"
[ -n "$CLEAN" ] && rm -f *.aux *.out *.ind *.idx *.ilg *.bbl *.blg *.log
- "$ISATOOL" latex -o sty && \
- "$ISATOOL" latex -o "$FMT" && \
- { [ ! -f root.bib ] || "$ISATOOL" latex -o bbl; } && \
- { [ ! -f root.idx ] || "$ISATOOL" latex -o idx; } && \
- "$ISATOOL" latex -o "$FMT"
+ "$ISABELLE_TOOL" latex -o sty && \
+ "$ISABELLE_TOOL" latex -o "$FMT" && \
+ { [ ! -f root.bib ] || "$ISABELLE_TOOL" latex -o bbl; } && \
+ { [ ! -f root.idx ] || "$ISABELLE_TOOL" latex -o idx; } && \
+ "$ISABELLE_TOOL" latex -o "$FMT"
}
(
@@ -134,15 +134,15 @@
prep_tags
if [ -f IsaMakefile ]; then
- "$ISATOOL" make "$OUTFORMAT"
+ "$ISABELLE_TOOL" make "$OUTFORMAT"
RC="$?"
elif [ "$OUTFORMAT" = pdf ]; then
pre_latex pdf && \
- "$ISATOOL" latex -o pdf
+ "$ISABELLE_TOOL" latex -o pdf
RC="$?"
else
pre_latex dvi && \
- "$ISATOOL" latex -o "$OUTFORMAT"
+ "$ISABELLE_TOOL" latex -o "$OUTFORMAT"
RC="$?"
fi