src/Sequents/IsaMakefile
changeset 3505 1cb4ea47d967
parent 3118 24dae6222579
child 4447 b7ee449eb345
     1.1 --- a/src/Sequents/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
     1.2 +++ b/src/Sequents/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
     1.3 @@ -18,7 +18,6 @@
     1.4  
     1.5  $(OUT)/Sequents: $(OUT)/Pure $(FILES)
     1.6  	@$(ISATOOL) usedir -b $(OUT)/Pure Sequents
     1.7 -	@chmod -w $@
     1.8  
     1.9  $(OUT)/Pure:
    1.10  	@cd ../Pure; $(ISATOOL) make