]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/Makefile
Only V7_mowgli left.
[helm.git] / helm / scripts / Makefile
index 6105737cb0cd2c5ad3712b4370b76582bbe8cd48..8b20831afbd70d7634caeedd2b92a90f1d78b423 100644 (file)
@@ -1,14 +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
-       ./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