Packaging build script for web site
commit5e1e8624d4cc97a89287bc611ce0d4828fe60727
authorTeemu Murtola <teemu.murtola@gmail.com>
Sun, 27 Dec 2015 11:51:19 +0000 (27 13:51 +0200)
committerMark Abraham <mark.j.abraham@gmail.com>
Tue, 29 Dec 2015 09:00:45 +0000 (29 10:00 +0100)
tree7ec079871907b77316425c24cfbe985eaa0f3433
parentf0339f40d2a9fd86182c492239aacb70858c0f8a
Packaging build script for web site

Extend the documentation.py script to create a tarball of the
documentation when run as JobType.RELEASE.  This does essentially the
same thing as Build_website_5_1, except that it reuses the existing
script.  A few build targets that are otherwise part of the
documentation build are skipped with this job type, since they are
included in the source packaging build instead.

Change-Id: Ic44d544ef3015b3de59af880a3e6edc502b080c7
admin/builds/documentation.py
admin/builds/source-package.py