diff -r 6303966dce96 -r b1dcacc4bc26 src/FOL/IsaMakefile
--- a/src/FOL/IsaMakefile	Thu Mar 20 11:09:01 1997 +0100
+++ b/src/FOL/IsaMakefile	Thu Mar 20 11:11:53 1997 +0100
@@ -17,13 +17,13 @@
 
 
 $(OUT)/FOL: $(OUT)/Pure $(FILES)
-	@$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu $(OUT)/Pure FOL
+	@$(ISATOOL) usedir -b $(OUT)/Pure FOL
 	@chmod -w $@
 
 $(OUT)/Pure:
 	@cd ../Pure; $(ISATOOL) make
 
 test: ex/ROOT.ML $(OUT)/FOL $(EX_FILES)
-	@$(ISATOOL) testdir $(OUT)/FOL ex
+	@$(ISATOOL) usedir $(OUT)/FOL ex
 
 .PRECIOUS: $(OUT)/Pure $(OUT)/FOL