copying the manual.css file to the web when building it
authorFilippo Gioachin <gioachin@illinois.edu>
Sun, 9 Dec 2007 17:49:26 +0000 (17:49 +0000)
committerFilippo Gioachin <gioachin@illinois.edu>
Sun, 9 Dec 2007 17:49:26 +0000 (17:49 +0000)
doc/Makefile

index 43b9e581f0f5ced46e02e1eb0e02ced02f677e1d..f9b24ad87ff0c0746e2ebb4f30112108067fda46 100644 (file)
@@ -26,6 +26,8 @@ web: doc
        cp -r ps $(WEBDIR)/ps.new
        cp -r pdf $(WEBDIR)/pdf.new
        cp -r html $(WEBDIR)/html.new
+       chmod 664 manual.css
+       cp manual.css $(WEBDIR)/
        mv $(WEBDIR)/ps $(WEBDIR)/ps.old
        mv $(WEBDIR)/pdf $(WEBDIR)/pdf.old
        mv $(WEBDIR)/html $(WEBDIR)/html.old