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

index cff37fecbba143f37b2dcbb741657e5a05c268ba..649a14aecb9aed08366b9a67d1a7776c409be1af 100644 (file)
@@ -25,7 +25,8 @@ 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
+       -rm -rf $(WEBDIR)/ps.new $(WEBDIR)/pdf.new $(WEBDIR)/html.new
+       -rm -rf $(WEBDIR)/ps.old $(WEBDIR)/pdf.old $(WEBDIR)/html.old
        cp -r ps $(WEBDIR)/ps.new
        cp -r pdf $(WEBDIR)/pdf.new
        cp -r html $(WEBDIR)/html.new