generate docs in push-to-web

diff --git a/push-to-web.sh b/push-to-web.sh
index aaf18bd..9d1c53e 100755 (executable)
--- a/push-to-web.sh
+++ b/push-to-web.sh
@@ -7,10 +7,14 @@ site=$1
 # Produce dygraph-combined.js.
 ./generate-combined.sh
 
+# Generate documentation.
+./generate-documentation.sh > docs/options.html
+
 # Copy everything to the site.
 scp tests/*.html tests/*.js tests/*.png $site/tests/ \
 && \
 scp dygraph*.js gadget.xml excanvas.js thumbnail.png screenshot.png docs/* $site/
 
-# Revert changes to dygraph-combined.js
+# Revert changes to dygraph-combined.js and docs/options.html
 git checkout dygraph-combined.js
+rm docs/options.html