diff options
author | Philipp Hagemeister <phihag@phihag.de> | 2013-03-29 12:50:20 -0700 |
---|---|---|
committer | Philipp Hagemeister <phihag@phihag.de> | 2013-03-29 12:50:20 -0700 |
commit | c9c8402093e5da5e7e6a3247761af962031cf255 (patch) | |
tree | 3a318b08bce9fa4794296533b6d34ebbb9adcc46 /devscripts/release.sh | |
parent | e3700fc9e44c7820e1c38264c84a315c5f91bb2d (diff) | |
parent | 6060788083df366dae1cd75d4c1eac8e46918765 (diff) |
Merge pull request #758 from jaimeMF/atom-feed
Add an Atom feed generator in devscripts
Diffstat (limited to 'devscripts/release.sh')
-rwxr-xr-x | devscripts/release.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devscripts/release.sh b/devscripts/release.sh index ee650f221..b2a91f817 100755 --- a/devscripts/release.sh +++ b/devscripts/release.sh @@ -69,6 +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" "$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" |