diff -r eff93bc3c14f -r 4b79e5d3d0aa lib/Tools/document
--- 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