src/Sequents/IsaMakefile
changeset 2831 a4f09228b74f
parent 2492 88f15198950f
child 3118 24dae6222579
     1.1 --- a/src/Sequents/IsaMakefile	Thu Mar 20 18:27:05 1997 +0100
     1.2 +++ b/src/Sequents/IsaMakefile	Thu Mar 20 18:27:23 1997 +0100
     1.3 @@ -17,14 +17,13 @@
     1.4      $(ILL_NAMES:%=ex/ILL/%.thy) $(ILL_NAMES:%=ex/ILL/%.ML)
     1.5  
     1.6  $(OUT)/Sequents: $(OUT)/Pure $(FILES)
     1.7 -	@$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu $(OUT)/Pure Sequents
     1.8 +	@$(ISATOOL) usedir -b $(OUT)/Pure Sequents
     1.9  	@chmod -w $@
    1.10  
    1.11  $(OUT)/Pure:
    1.12  	@cd ../Pure; $(ISATOOL) make
    1.13  
    1.14  test: $(OUT)/Sequents $(EX_FILES)
    1.15 -	@$(ISABELLE) -e 'make_html := $(ISABELLE_HTML); exit_use"ex/ROOT.ML"; quit();' \
    1.16 -	  -rq $(OUT)/Sequents
    1.17 +	@$(ISATOOL) usedir $(OUT)/Sequents ex
    1.18  
    1.19  .PRECIOUS: $(OUT)/Pure $(OUT)/Sequents