X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2FMakefile;h=96dff3333baee35778395a0d9f479057a7e3ce83;hb=49e52032242e39eba0cf24ca16a37c84b52cc356;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 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 clean: