diff options
Diffstat (limited to 'common/waf.py')
-rw-r--r-- | common/waf.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/common/waf.py b/common/waf.py index 9b4b1dc..8aeac5d 100644 --- a/common/waf.py +++ b/common/waf.py @@ -313,7 +313,7 @@ def cmd_configure_path(ctx): cmd_configure(ctx) -def xml_catalogue(ctx, building): +def xml_catalogue(ctx, building, title): # # The following is a hack to find the top_dir because the task does # provided a reference to top_dir like a build context. @@ -353,6 +353,11 @@ def xml_catalogue(ctx, building): root.setAttribute('date', 'today') cat.appendChild(root) + heading = cat.createElement('catalogue') + text = cat.createTextNode(title) + heading.appendChild(text) + root.appendChild(heading) + builds = ['html'] if ctx.env.BUILD_PDF == 'yes': builds += ['pdf'] |