diff options
author | Chris Johns <chrisj@rtems.org> | 2017-01-09 23:13:02 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-01-09 23:13:02 +1100 |
commit | 1a9b02e20dbc89d69ca4b4a64c69659b918a480d (patch) | |
tree | 58fc0990c6189c7f56578693997212a595121b7e /wscript | |
parent | waf: Update to waf-1.9.7 (diff) | |
download | rtems-docs-1a9b02e20dbc89d69ca4b4a64c69659b918a480d.tar.bz2 |
waf: Create an XML Catalogue.
Diffstat (limited to 'wscript')
-rw-r--r-- | wscript | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -30,9 +30,15 @@ def configure(conf): conf.recurse(b) conf.env['BUILD_FROM_TOP'] = 'yes' +def xml_catalogue(ctx): + docs_waf.xml_catalogue(ctx) + def build(ctx): + ctx.catalogue = {} + ctx.add_post_fun(xml_catalogue) for b in building: ctx.recurse(b) + ctx.install_files('${PREFIX}', 'catalogue.xml') def install(ctx): for b in building: |