]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/Makefile
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / scripts / Makefile
diff --git a/helm/scripts/Makefile b/helm/scripts/Makefile
deleted file mode 100644 (file)
index ccb1b24..0000000
+++ /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 *~
-