minor fix for push-to-web

diff --git a/push-to-web.sh b/push-to-web.sh
index 4bf1b89..bd51622 100755 (executable)
--- a/push-to-web.sh
+++ b/push-to-web.sh
@@ -26,7 +26,7 @@ if [ -s docs/options.html ] ; then
   # Copy everything to the site.
   rsync -avzr gallery common tests jsdoc experimental plugins $site \
   && \
-  rsync -avzr dygraph*.js gadget.xml excanvas.js thumbnail.png screenshot.png docs/ $site/
+  rsync -avzr dygraph*.js gadget.xml excanvas.js thumbnail.png screenshot.png docs/* $site/
 else
   echo "generate-documentation.py failed"
 fi