diff options
| author | Jaime Marquínez Ferrándiz <jaime.marquinez.ferrandiz@gmail.com> | 2013-04-05 12:39:51 +0200 |
|---|---|---|
| committer | Jaime Marquínez Ferrándiz <jaime.marquinez.ferrandiz@gmail.com> | 2013-04-05 12:39:51 +0200 |
| commit | 14294236bf9623fac4ad748389689b77d52b3547 (patch) | |
| tree | dcc1370a9568c6e3f015f6cf36d874b7cc2ac994 /devscripts/release.sh | |
| parent | 7eab8dc7504cf1f5f1dd03eb62e266ce24948b93 (diff) | |
| parent | c2b293ba3021d323a3d8ccbabeb3ebb993b276aa (diff) | |
Merge branch 'master' into extract_info_rewrite
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" |