From 5c364f5751e9cd909895f7883c2bfac38eb8c407 Mon Sep 17 00:00:00 2001
From: Dan Vanderkam <danvdk@gmail.com>
Date: Mon, 12 Aug 2013 18:20:20 -0400
Subject: [PATCH] generate download.html in push-to-web

---
 push-to-web.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/push-to-web.sh b/push-to-web.sh
index 9234c57..77bd91f 100755
--- a/push-to-web.sh
+++ b/push-to-web.sh
@@ -18,6 +18,7 @@ site=$1
 chmod a+r docs/options.html
 if [ -s docs/options.html ] ; then
   ./generate-jsdoc.sh
+  ./generate-download.py > docs/download.html
 
   temp_dir=$(mktemp -d /tmp/dygraphs-docs.XXXX)
   cd docs
@@ -36,7 +37,8 @@ else
   echo "generate-documentation.py failed"
 fi
 
-# Revert changes to dygraph-combined.js and docs/options.html
+# Revert changes to dygraph-combined.js and docs.
 git checkout dygraph-combined.js
+git checkout docs/download.html
 rm docs/options.html
 rm -rf $temp_dir
-- 
2.7.4