src/HOLCF/IsaMakefile
changeset 3505 1cb4ea47d967
parent 3350 a3abf29660e6
child 3921 e88ea232977c
     1.1 --- a/src/HOLCF/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
     1.2 +++ b/src/HOLCF/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
     1.3 @@ -29,7 +29,6 @@
     1.4  
     1.5  $(OUT)/HOLCF: $(OUT)/HOL $(FILES)
     1.6  	@$(ISATOOL) usedir -b $(OUT)/HOL HOLCF
     1.7 -	@chmod -w $@
     1.8  
     1.9  $(OUT)/HOL:
    1.10  	@cd ../HOL; $(ISATOOL) make