push-to-web now pushes the gallery.

diff --git a/push-to-web.sh b/push-to-web.sh
index 5e0afbc..33bb7a9 100755 (executable)
--- a/push-to-web.sh
+++ b/push-to-web.sh
@@ -18,7 +18,7 @@ if [ -s docs/options.html ] ; then
   ./generate-jsdoc.sh
 
   # Copy everything to the site.
-  scp -r tests jsdoc experimental $site \
+  scp -r gallery tests jsdoc experimental $site \
   && \
   scp dygraph*.js gadget.xml excanvas.js thumbnail.png screenshot.png docs/* $site/
 else