Add an automatic page generator for the supported sites (related #156)

They are listed in the "supportedsites.html" page.
This commit is contained in:
Jaime Marquínez Ferrándiz 2013-08-31 15:05:59 +02:00
parent 10f5c016ec
commit 691008087b
2 changed files with 34 additions and 0 deletions

View file

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