X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2FMakefile;fp=helm%2Fscripts%2FMakefile;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=ccb1b248e7908e5b506657b6890680c7e038e2b7;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/scripts/Makefile b/helm/scripts/Makefile
deleted file mode 100644
index ccb1b248e..000000000
--- a/helm/scripts/Makefile
+++ /dev/null
@@ -1,28 +0,0 @@
-
-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
-
-clean:
-	rm -f marcello*rc phd*rc
-
-cleanbak:
-	rm -f *~
-