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