diff options
author | Chris Johns <chrisj@rtems.org> | 2017-01-10 22:34:47 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-01-10 22:38:32 +1100 |
commit | 1e9f28ceebbda5d696ac0a64afb91f45e0205bb6 (patch) | |
tree | b5bb4973fde96066e4b88be09c8d76dac1ab4ede /common/waf.py | |
parent | waf: Improved XML Catalogue generator. (diff) | |
download | rtems-docs-1e9f28ceebbda5d696ac0a64afb91f45e0205bb6.tar.bz2 |
waf: Add a title to the XML Catalogue.
Diffstat (limited to '')
-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'] |