+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