diff -r eff93bc3c14f -r 4b79e5d3d0aa lib/Tools/mkdir
--- a/lib/Tools/mkdir	Sat Oct 04 16:05:08 2008 +0200
+++ b/lib/Tools/mkdir	Sat Oct 04 16:05:09 2008 +0200
@@ -137,7 +137,7 @@
     echo "OUT = \$(ISABELLE_OUTPUT)"
     echo "LOG = \$(OUT)/log"
     echo
-    echo "USEDIR = \$(ISATOOL) usedir ${VERBOSE}-i true -d $ISABELLE_DOC_FORMAT  ## -D generated"
+    echo "USEDIR = \$(ISABELLE_TOOL) usedir ${VERBOSE}-i true -d $ISABELLE_DOC_FORMAT  ## -D generated"
     echo
     echo
     echo "## $NAME"
@@ -146,7 +146,7 @@
       echo "$NAME: $LOGIC $TARGET"
       echo
       echo "$LOGIC:"
-      echo -e "\t@cd \$(SRC)/$LOGIC; \$(ISATOOL) make $LOGIC"
+      echo -e "\t@cd \$(SRC)/$LOGIC; \$(ISABELLE_TOOL) make $LOGIC"
       echo
       echo "$TARGET: \$(OUT)/$LOGIC $ROOT_ML $DOCUMENT_ROOT ## $SOURCES"
       echo -e "\t@$USEDIR \$(OUT)/$LOGIC $NAME"