From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 15 May 2003 16:30:38 +0000 (+0000)
Subject: The chmod ug+w in the all rule has been made non-critical.
X-Git-Tag: submitted~45
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=02c7bf893b54aad91d376c3ca47d156401ae2f7c

The chmod ug+w in the all rule has been made non-critical.
---

diff --git a/helm/scripts/Makefile b/helm/scripts/Makefile
index 96dff3333..ccb1b248e 100644
--- a/helm/scripts/Makefile
+++ b/helm/scripts/Makefile
@@ -1,5 +1,6 @@
 
 all: 
+	chmod ug+w marcello*rc phd*rc
 	./makeit V7 marcello marcello <template.cshrc >marcello.cshrc
 	./makeit V7 marcello marcello <template.rc >marcello.rc
 	./makeit V7 marcello phd <template.cshrc >marcello_phd.cshrc
@@ -17,6 +18,7 @@ all:
 	./makeit V7_mowgli phd marcello <template.cshrc >phd_marcello_mowgli.cshrc
 	./makeit V7_mowgli phd marcello <template.rc >phd_marcello_mowgli.rc
 	chmod a+x marcello*rc phd*rc
+	chmod ug-w marcello*rc phd*rc
 
 clean:
 	rm -f marcello*rc phd*rc