copy extras directory to web

diff --git a/push-to-web.sh b/push-to-web.sh
index 00448c3..2e6bfc3 100755 (executable)
--- a/push-to-web.sh
+++ b/push-to-web.sh
@@ -24,7 +24,7 @@ if [ -s docs/options.html ] ; then
   find . -path ./.git -prune -o -print | xargs chmod a+rX
 
   # Copy everything to the site.
-  rsync -avzr gallery strftime rgbcolor common tests jsdoc experimental plugins $site \
+  rsync -avzr gallery strftime rgbcolor common tests jsdoc experimental plugins extras $site \
   && \
   rsync -avzr dashed-canvas.js stacktrace.js dygraph*.js gadget.xml excanvas.js thumbnail.png screenshot.png docs/* $site/
 else