X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2FMakefile;h=be6ba219843067293ce64b2bd831970f3e7d7134;hb=970ba0021a992efe25ec374875dc127ff236cc74;hp=6105737cb0cd2c5ad3712b4370b76582bbe8cd48;hpb=d31f1ab3bb5ab1173264aae51dfd3151e1eb26c8;p=helm.git

diff --git a/helm/scripts/Makefile b/helm/scripts/Makefile
index 6105737cb..be6ba2198 100644
--- a/helm/scripts/Makefile
+++ b/helm/scripts/Makefile
@@ -1,27 +1,15 @@
 
 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
-	./makeit V7 marcello phd <template.rc >marcello_phd.rc
-	./makeit V7 phd phd <template.cshrc >phd.cshrc
-	./makeit V7 phd phd <template.rc >phd.rc
-	./makeit V7 phd marcello <template.cshrc >phd_marcello.cshrc
-	./makeit V7 phd marcello <template.rc >phd_marcello.rc
-	./makeit V7_mowgli marcello marcello <template.cshrc >marcello_mowgli.cshrc
-	./makeit V7_mowgli marcello marcello <template.rc >marcello_mowgli.rc
-	./makeit V7_mowgli marcello phd <template.cshrc >marcello_phd_mowgli.cshrc
-	./makeit V7_mowgli marcello phd <template.rc >marcello_phd_mowgli.rc
-	./makeit V7_mowgli phd phd <template.cshrc >phd_mowgli.cshrc
-	./makeit V7_mowgli phd phd <template.rc >phd_mowgli.rc
-	./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
+	- chmod ug+w phd*rc
+	./makeit phd <template.cshrc >phd_mowgli.cshrc
+	./makeit phd <template.rc >phd_mowgli.rc
+	./makeit marcello <template.cshrc >phd_marcello_mowgli.cshrc
+	./makeit marcello <template.rc >phd_marcello_mowgli.rc
+	chmod a+x phd*rc
+	chmod ug-w phd*rc
 
 clean:
-	rm -f marcello*rc phd*rc
+	rm -f phd*rc
 
 cleanbak:
 	rm -f *~