Changeset 9aa52b9 in rtems-docs

Timestamp:

01/10/17 11:34:47 (6 years ago)

Author:

Chris Johns <chrisj@…>

Branches:

5, am, master

Children:

ecf82d1

Parents:

782b4fe

Message:

waf: Add a title to the XML Catalogue.

Files:

• common/waf.py (modified) (2 diffs)
• wscript (modified) (3 diffs)

common/waf.py

@@ -314 +314 @@
     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
@@ -353 +353 @@
     root.setAttribute('date', 'today')
     cat.appendChild(root)
+
+    heading = cat.createElement('catalogue')
+    text = cat.createTextNode(title)
+    heading.appendChild(text)
+    root.appendChild(heading)
 
     builds = ['html']

wscript

@@ -10 +10 @@
 import waf as docs_waf
 
-build_all = ['bsp-howto',
+version = 'Master (4.11.99)'
+
+build_all = ['user',
+             'rsb',
              'c-user',
+             'bsp-howto',
+             'posix-users',
+             'filesystem',
+             'networking',
+             'shell',
              'cpu-supplement',
              'develenv',
-             'eclipse',
-             'filesystem',
-             'networking',
-             'posix-users',
-             'rsb',
-             'shell',
-             'user']
+             'eclipse']
 
 building = build_all
@@ -33 +35 @@
 
 def catalogue(ctx):
-    docs_waf.xml_catalogue(ctx, building)
+    docs_waf.xml_catalogue(ctx, building, version)
 
 def build(ctx):
@@ -41 +43 @@
         target = 'catalogue.xml',
         source = ['wscript', 'common/waf.py'])
+    ctx.install_files('${PREFIX}', 'catalogue.xml')
 
 def install(ctx):