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:34:47 +1100 |
commit | 9aa52b9130e20f8ccb8588c05001cc960f8e9039 (patch) | |
tree | 320f6bbcacc762be1df3f26ccc3c661781e75f16 /common/waf.py | |
parent | waf: Improved XML Catalogue generator. (diff) | |
download | rtems-docs-9aa52b9130e20f8ccb8588c05001cc960f8e9039.tar.bz2 |
waf: Add a title to the XML Catalogue.
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'] |