X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2FMakefile;h=ccb1b248e7908e5b506657b6890680c7e038e2b7;hb=898d547264b7d445f6b4e67dbbda26acf7466150;hp=f0ddad968d950ccbb7a86e690cd9c97ca0976e80;hpb=30ed2d8f648cf069338a9a1fdb07f0a272133042;p=helm.git diff --git a/helm/scripts/Makefile b/helm/scripts/Makefile index f0ddad968..ccb1b248e 100644 --- a/helm/scripts/Makefile +++ b/helm/scripts/Makefile @@ -1,5 +1,6 @@ all: + chmod ug+w marcello*rc phd*rc ./makeit V7 marcello marcello marcello.cshrc ./makeit V7 marcello marcello marcello.rc ./makeit V7 marcello phd marcello_phd.cshrc @@ -8,7 +9,16 @@ all: ./makeit V7 phd phd phd.rc ./makeit V7 phd marcello phd_marcello.cshrc ./makeit V7 phd marcello phd_marcello.rc + ./makeit V7_mowgli marcello marcello marcello_mowgli.cshrc + ./makeit V7_mowgli marcello marcello marcello_mowgli.rc + ./makeit V7_mowgli marcello phd marcello_phd_mowgli.cshrc + ./makeit V7_mowgli marcello phd marcello_phd_mowgli.rc + ./makeit V7_mowgli phd phd phd_mowgli.cshrc + ./makeit V7_mowgli phd phd phd_mowgli.rc + ./makeit V7_mowgli phd marcello phd_marcello_mowgli.cshrc + ./makeit V7_mowgli phd marcello 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