summaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
authorChris Johns <chrisj@rtems.org>2017-01-09 23:13:02 +1100
committerChris Johns <chrisj@rtems.org>2017-01-09 23:13:02 +1100
commit1a9b02e20dbc89d69ca4b4a64c69659b918a480d (patch)
tree58fc0990c6189c7f56578693997212a595121b7e /wscript
parentwaf: Update to waf-1.9.7 (diff)
downloadrtems-docs-1a9b02e20dbc89d69ca4b4a64c69659b918a480d.tar.bz2
waf: Create an XML Catalogue.
Diffstat (limited to 'wscript')
-rw-r--r--wscript6
1 files changed, 6 insertions, 0 deletions
diff --git a/wscript b/wscript
index f7dd224..2147c5b 100644
--- a/wscript
+++ b/wscript
@@ -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: