diff options
| author | Jaime Marquínez Ferrándiz <jaime.marquinez.ferrandiz@gmail.com> | 2013-08-31 15:05:59 +0200 |
|---|---|---|
| committer | Jaime Marquínez Ferrándiz <jaime.marquinez.ferrandiz@gmail.com> | 2013-08-31 15:18:52 +0200 |
| commit | 691008087b902fa731a8f4f840c1821c93505840 (patch) | |
| tree | 5d31ccf97d5af8f4344a0a0c6d711539f84ce3d6 /devscripts/release.sh | |
| parent | 10f5c016ec6262e5d29327e97fe4f3d1127ccdff (diff) | |
Add an automatic page generator for the supported sites (related #156)
They are listed in the "supportedsites.html" page.
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 24c9ad8d8..62c68a6cf 100755 --- a/devscripts/release.sh +++ b/devscripts/release.sh @@ -85,6 +85,7 @@ ROOT=$(pwd) "$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" + "$ROOT/devscripts/gh-pages/update-sites.py" git add *.html *.html.in update git commit -m "release $version" git show HEAD |