chmod everything before pushing to web

diff --git a/push-to-web.sh b/push-to-web.sh
index 422f0fd..4bf1b89 100755 (executable)
--- a/push-to-web.sh
+++ b/push-to-web.sh
@@ -9,6 +9,7 @@ fi
 
 set -x
 site=$1
+
 # Produce dygraph-combined.js.
 ./generate-combined.sh
 
@@ -18,6 +19,10 @@ chmod a+r docs/options.html
 if [ -s docs/options.html ] ; then
   ./generate-jsdoc.sh
 
+  # Make sure everything will be readable on the web.
+  # This is like "chmod -R a+rX", but excludes the .git directory.
+  find . -path ./.git -prune -o -print | xargs chmod a+rX
+
   # Copy everything to the site.
   rsync -avzr gallery common tests jsdoc experimental plugins $site \
   && \