X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2FMakefile;h=96dff3333baee35778395a0d9f479057a7e3ce83;hb=a4df9661e15509e5da6ed9c57e3ab6a27a440c3f;hp=f0ddad968d950ccbb7a86e690cd9c97ca0976e80;hpb=30ed2d8f648cf069338a9a1fdb07f0a272133042;p=helm.git

diff --git a/helm/scripts/Makefile b/helm/scripts/Makefile
index f0ddad968..96dff3333 100644
--- a/helm/scripts/Makefile
+++ b/helm/scripts/Makefile
@@ -8,6 +8,14 @@ all:
 	./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
 
 clean: