]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/Makefile
- New environment variables set.
[helm.git] / helm / scripts / Makefile
index f0ddad968d950ccbb7a86e690cd9c97ca0976e80..96dff3333baee35778395a0d9f479057a7e3ce83 100644 (file)
@@ -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: