src/ZF/IsaMakefile
changeset 3057 a5a42ff18a40
parent 2828 13136dc7b9d0
child 3118 24dae6222579
     1.1 --- a/src/ZF/IsaMakefile	Fri Apr 25 15:18:58 1997 +0200
     1.2 +++ b/src/ZF/IsaMakefile	Fri Apr 25 15:24:07 1997 +0200
     1.3 @@ -21,7 +21,7 @@
     1.4  	$(NAMES:%=%.thy) $(NAMES:%=%.ML)
     1.5  
     1.6  $(OUT)/ZF: $(OUT)/FOL $(FILES)
     1.7 -	@$(ISATOOL) usedir -b -c $(OUT)/FOL ZF
     1.8 +	@$(ISATOOL) usedir -b $(OUT)/FOL ZF
     1.9  	@chmod -w $@
    1.10  
    1.11  $(OUT)/FOL: