added permission modification to web files
authorFilippo Gioachin <gioachin@illinois.edu>
Wed, 20 Sep 2006 08:20:24 +0000 (08:20 +0000)
committerFilippo Gioachin <gioachin@illinois.edu>
Wed, 20 Sep 2006 08:20:24 +0000 (08:20 +0000)
doc/Makefile.common

index 44ab3dec155ac019f19aaa2b51c4d09cc92e1bac..2c34dede058b75d89846caab47b2103f2fc8e038 100644 (file)
@@ -84,9 +84,11 @@ doc: all
 # Build web copy of documentation (PPL-only):
 web: all
        /bin/cp $(FILE).ps $(WEBDIR)/ps/$(DEST).ps
+       chmod 664 $(WEBDIR)/ps/$(DEST).ps
        /bin/cp $(FILE).pdf $(WEBDIR)/pdf/$(DEST).pdf
+        chmod 664 $(WEBDIR)/pdf/$(DEST).pdf
        /bin/rm -rf $(WEBDIR)/html/$(DEST)
        /bin/cp -R $(FILE) $(WEBDIR)/html/$(DEST)
-       find $(WEBDIR)/html/$(DEST) $(WEBDIR)/p*/$(DEST).p* -type f -exec chmod 666 {} \;
-       find $(WEBDIR)/html/$(DEST) -type d -exec chmod 777 {} \;
+       find $(WEBDIR)/html/$(DEST) $(WEBDIR)/p*/$(DEST).p* -type f -exec chmod 664 {} \;
+       find $(WEBDIR)/html/$(DEST) -type d -exec chmod 775 {} \;