py -> sh

diff --git a/push-to-web.sh b/push-to-web.sh
index 9d1c53e..7aca0f4 100755 (executable)
--- a/push-to-web.sh
+++ b/push-to-web.sh
@@ -8,7 +8,7 @@ site=$1
 ./generate-combined.sh
 
 # Generate documentation.
-./generate-documentation.sh > docs/options.html
+./generate-documentation.py > docs/options.html
 
 # Copy everything to the site.
 scp tests/*.html tests/*.js tests/*.png $site/tests/ \