summaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
authorChris Johns <chrisj@rtems.org>2017-01-11 15:50:59 +1100
committerChris Johns <chrisj@rtems.org>2017-01-11 15:56:04 +1100
commitecf82d1b3d3a825f0340fd12f0bbe49a5139c31e (patch)
tree517a17f4cb2fa87daa303d82a5978602978303d7 /wscript
parentwaf: Add a title to the XML Catalogue. (diff)
downloadrtems-docs-ecf82d1b3d3a825f0340fd12f0bbe49a5139c31e.tar.bz2
html: Add support for an HTML cover page for releases.
Diffstat (limited to 'wscript')
-rw-r--r--wscript12
1 files changed, 11 insertions, 1 deletions
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: