changing group of the web files to be owned by group "kale"
authorFilippo Gioachin <gioachin@illinois.edu>
Fri, 22 Sep 2006 22:33:49 +0000 (22:33 +0000)
committerFilippo Gioachin <gioachin@illinois.edu>
Fri, 22 Sep 2006 22:33:49 +0000 (22:33 +0000)
doc/Makefile.common

index f987d10a33e87d8f1059fcff51be4dd2db7e7ccc..00d97b4b86fcd7f00480f8e7b5a5de0f41b4c004 100644 (file)
@@ -91,4 +91,5 @@ web: all
        /bin/cp -R $(FILE) $(WEBDIR)/html/$(DEST)
        find $(WEBDIR)/html/$(DEST) $(WEBDIR)/p*/$(DEST).p* -type f -exec chmod 664 {} \;
        find $(WEBDIR)/html/$(DEST) -type d -exec chmod 775 {} \;
+       chgrp -R kale $(WEBDIR)/html/$(DEST) $(WEBDIR)/p*/$(DEST).p*