--- a/src/HOLCF/IsaMakefile Thu Mar 20 11:38:58 1997 +0100
+++ b/src/HOLCF/IsaMakefile Thu Mar 20 11:39:40 1997 +0100
@@ -23,7 +23,7 @@
FILES = ROOT.ML $(THYS) $(ONLYTHYS) $(THYS:.thy=.ML)
$(OUT)/HOLCF: $(OUT)/HOL $(FILES)
- @$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu -c $(OUT)/HOL HOLCF
+ @$(ISATOOL) usedir -b -c $(OUT)/HOL HOLCF
@chmod -w $@
$(OUT)/HOL:
@@ -39,7 +39,7 @@
IMP_FILES = IMP/ROOT.ML $(IMP_THYS) $(IMP_THYS:.thy=.ML)
IMP: $(OUT)/HOLCF $(IMP_FILES)
- @$(ISATOOL) testdir $(OUT)/HOLCF IMP
+ @$(ISATOOL) usedir $(OUT)/HOLCF IMP
## Miscellaneous examples
@@ -51,7 +51,7 @@
EX_FILES = ex/ROOT.ML ex/loeckx.ML $(EX_THYS) $(EX_THYS:.thy=.ML)
EX: ex/ROOT.ML $(EX_FILES)
- @$(ISATOOL) testdir $(OUT)/HOLCF ex
+ @$(ISATOOL) usedir $(OUT)/HOLCF ex
## Full test