Changeset ecf82d1 in rtems-docs for wscript

Timestamp:

Jan 11, 2017, 4:50:59 AM (3 years ago)

Author:

Chris Johns <chrisj@…>

Branches:

master

Children:

2591ca6

Parents:

9aa52b9

git-author:

Chris Johns <chrisj@…> (01/11/17 04:50:59)

git-committer:

Chris Johns <chrisj@…> (01/11/17 04:56:04)

Message:

html: Add support for an HTML cover page for releases.

File:

• wscript (modified) (2 diffs)

wscript

@@ -10 +10 @@
 import waf as docs_waf
 
-version = 'Master (4.11.99)'
+version = '4.11 (4.11.2)'
 
 build_all = ['user',
@@ -40 +40 @@
     for b in building:
         ctx.recurse(b)
+
+    #
+    # Build the catalogue and install with the coverpage and static content.
+    #
     ctx(rule = catalogue,
         target = 'catalogue.xml',
         source = ['wscript', 'common/waf.py'])
     ctx.install_files('${PREFIX}', 'catalogue.xml')
+    ctx.install_files('${PREFIX}', 'common/html-coverpage/index.html')
+    static_dir = ctx.path.find_dir('common/html-coverpage/static')
+    ctx.install_files('${PREFIX}/static',
+                      static_dir.ant_glob('**'),
+                      cwd = static_dir,
+                      relative_trick = True)
 
 def install(ctx):