diff -r 8493dbe2f009 -r 1cb4ea47d967 src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Mon Jul 07 09:07:08 1997 +0200
+++ b/src/HOLCF/IsaMakefile	Mon Jul 07 09:09:21 1997 +0200
@@ -29,7 +29,6 @@
 
 $(OUT)/HOLCF: $(OUT)/HOL $(FILES)
 	@$(ISATOOL) usedir -b $(OUT)/HOL HOLCF
-	@chmod -w $@
 
 $(OUT)/HOL:
 	@cd ../HOL; $(ISATOOL) make