Write a new feed each time, reading from versions.json

This commit is contained in:
Jaime Marquínez Ferrándiz
2013-03-29 19:42:33 +01:00
parent db74c11d2b
commit 6060788083
2 changed files with 43 additions and 69 deletions

View File

@ -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"