permissions fix
authorFilippo Gioachin <gioachin@illinois.edu>
Sun, 9 Dec 2007 22:50:27 +0000 (22:50 +0000)
committerFilippo Gioachin <gioachin@illinois.edu>
Sun, 9 Dec 2007 22:50:27 +0000 (22:50 +0000)
doc/Makefile

index 5dbac1df2c416bbe90c3a2965afc809743f00910..cff37fecbba143f37b2dcbb741657e5a05c268ba 100644 (file)
@@ -24,6 +24,7 @@ doc:
 
 web: doc
        chgrp -R kale ps pdf html
+       chmod g+w ps pdf html
        rm -rf $(WEBDIR)/ps.new $(WEBDIR)/pdf.new $(WEBDIR)/html.new
        cp -r ps $(WEBDIR)/ps.new
        cp -r pdf $(WEBDIR)/pdf.new