summaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
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: