From 817b08ddff4b4555c0b8c01b76bdde89b95e3f79 Mon Sep 17 00:00:00 2001 From: Dan Vanderkam Date: Mon, 14 Mar 2011 00:01:33 -0400 Subject: [PATCH] py -> sh --- push-to-web.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/push-to-web.sh b/push-to-web.sh index 9d1c53e..7aca0f4 100755 --- 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/ \ -- 2.7.4