From ecf82d1b3d3a825f0340fd12f0bbe49a5139c31e Mon Sep 17 00:00:00 2001
From: Chris Johns <chrisj@rtems.org>
Date: Wed, 11 Jan 2017 15:50:59 +1100
Subject: html: Add support for an HTML cover page for releases.

---
 wscript | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'wscript')

diff --git a/wscript b/wscript
index 8cc4ee7..96a8574 100644
--- a/wscript
+++ b/wscript
@@ -9,7 +9,7 @@ path.append(abspath('common'))
 import waflib
 import waf as docs_waf
 
-version = 'Master (4.11.99)'
+version = '4.11 (4.11.2)'
 
 build_all = ['user',
              'rsb',
@@ -39,10 +39,20 @@ def catalogue(ctx):
 def build(ctx):
     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):
     for b in building:
-- 
cgit v1.2.3