1.1 --- a/src/FOL/IsaMakefile Thu Mar 20 11:09:01 1997 +0100
1.2 +++ b/src/FOL/IsaMakefile Thu Mar 20 11:11:53 1997 +0100
1.3 @@ -17,13 +17,13 @@
1.4
1.5
1.6 $(OUT)/FOL: $(OUT)/Pure $(FILES)
1.7 - @$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu $(OUT)/Pure FOL
1.8 + @$(ISATOOL) usedir -b $(OUT)/Pure FOL
1.9 @chmod -w $@
1.10
1.11 $(OUT)/Pure:
1.12 @cd ../Pure; $(ISATOOL) make
1.13
1.14 test: ex/ROOT.ML $(OUT)/FOL $(EX_FILES)
1.15 - @$(ISATOOL) testdir $(OUT)/FOL ex
1.16 + @$(ISATOOL) usedir $(OUT)/FOL ex
1.17
1.18 .PRECIOUS: $(OUT)/Pure $(OUT)/FOL