diff -r 33aff4d854e4 -r 36ba4da350c3 src/HOLCF/Makefile
--- a/src/HOLCF/Makefile	Tue Apr 23 17:01:51 1996 +0200
+++ b/src/HOLCF/Makefile	Tue Apr 23 17:04:23 1996 +0200
@@ -35,7 +35,7 @@
 #Uses cp rather than make_database because Poly/ML allows only 3 levels
 $(BIN)/HOLCF:   $(BIN)/HOL  $(FILES) 
 	case "$(COMP)" in \
-	poly*)  cp $(BIN)/HOL $(BIN)/HOLCF;\
+	poly*)  cp $(BIN)/HOL $(BIN)/HOLCF; chmod u+w $(BIN)/HOLCF;\
                 if [ "$${MAKE_HTML}" = "true" ]; \
                 then echo 'open PolyML; make_html := true; exit_use_dir".";' \
                        | $(COMP) $(BIN)/HOLCF;\