]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/Makefile
Several daemons moved into /projects/helm/daemons.
[helm.git] / helm / scripts / Makefile
index ccb1b248e7908e5b506657b6890680c7e038e2b7..6105737cb0cd2c5ad3712b4370b76582bbe8cd48 100644 (file)
@@ -1,6 +1,6 @@
 
 all: 
-       chmod ug+w marcello*rc phd*rc
+       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