diff options
| author | Chris Johns <chrisj@rtems.org> | 2017-01-11 15:50:59 +1100 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2017-01-11 15:50:59 +1100 |
| commit | d8a1037cbc7258b3e918d4bff13446aac5cefb97 (patch) | |
| tree | b1f0890f511679dc6d2fabae30f38951fce20f69 /wscript | |
| parent | waf: Add a title to the XML Catalogue. (diff) | |
| download | rtems-docs-d8a1037cbc7258b3e918d4bff13446aac5cefb97.tar.bz2 | |
html: Add support for an HTML cover page for releases.
Diffstat (limited to 'wscript')
| -rw-r--r-- | wscript | 12 |
1 files changed, 11 insertions, 1 deletions
@@ -9,7 +9,7 @@ path.append(abspath('common')) import waflib import waf as docs_waf -version = 'Master (4.11.99)' +version = '4.11 (4.11.2)' build_all = ['user', 'rsb', @@ -39,10 +39,20 @@ def catalogue(ctx): def build(ctx): for b in building: ctx.recurse(b) + + # + # Build the catalogue and install with the coverpage and static content. + # ctx(rule = catalogue, target = 'catalogue.xml', source = ['wscript', 'common/waf.py']) ctx.install_files('${PREFIX}', 'catalogue.xml') + ctx.install_files('${PREFIX}', 'common/html-coverpage/index.html') + static_dir = ctx.path.find_dir('common/html-coverpage/static') + ctx.install_files('${PREFIX}/static', + static_dir.ant_glob('**'), + cwd = static_dir, + relative_trick = True) def install(ctx): for b in building: |