From 6060788083df366dae1cd75d4c1eac8e46918765 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jaime=20Marqui=CC=81nez=20Ferra=CC=81ndiz?= Date: Fri, 29 Mar 2013 19:42:33 +0100 Subject: Write a new feed each time, reading from versions.json --- devscripts/release.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'devscripts/release.sh') diff --git a/devscripts/release.sh b/devscripts/release.sh index 6e89d55b3..b2a91f817 100755 --- a/devscripts/release.sh +++ b/devscripts/release.sh @@ -69,7 +69,7 @@ ROOT=$(pwd) ORIGIN_URL=$(git config --get remote.origin.url) cd build/gh-pages "$ROOT/devscripts/gh-pages/add-version.py" $version - "$ROOT/devscripts/gh-pages/update-feed.py" $version + "$ROOT/devscripts/gh-pages/update-feed.py" "$ROOT/devscripts/gh-pages/sign-versions.py" < "$ROOT/updates_key.pem" "$ROOT/devscripts/gh-pages/generate-download.py" "$ROOT/devscripts/gh-pages/update-copyright.py" -- cgit v1.2.3