*** empty log message ***
authorFilippo Gioachin <gioachin@illinois.edu>
Sun, 9 Dec 2007 22:47:16 +0000 (22:47 +0000)
committerFilippo Gioachin <gioachin@illinois.edu>
Sun, 9 Dec 2007 22:47:16 +0000 (22:47 +0000)
doc/Makefile

index 8ca9e1702f3bd7d9e664b4e67fb0722ae5641e6e..5dbac1df2c416bbe90c3a2965afc809743f00910 100644 (file)
@@ -23,6 +23,8 @@ doc:
        for d in $(DIRS); do (cd $$d; $(LNCMD); $(MAKE) doc) || exit 1; done
 
 web: doc
        for d in $(DIRS); do (cd $$d; $(LNCMD); $(MAKE) doc) || exit 1; done
 
 web: doc
+       chgrp -R kale 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
        cp -r html $(WEBDIR)/html.new
        cp -r ps $(WEBDIR)/ps.new
        cp -r pdf $(WEBDIR)/pdf.new
        cp -r html $(WEBDIR)/html.new