--- a/src/Sequents/IsaMakefile Mon Jul 07 09:07:08 1997 +0200
+++ b/src/Sequents/IsaMakefile Mon Jul 07 09:09:21 1997 +0200
@@ -18,7 +18,6 @@
$(OUT)/Sequents: $(OUT)/Pure $(FILES)
@$(ISATOOL) usedir -b $(OUT)/Pure Sequents
- @chmod -w $@
$(OUT)/Pure:
@cd ../Pure; $(ISATOOL) make