Changeset ecf82d1 in rtems-docs for wscript


Ignore:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • wscript

    r9aa52b9 recf82d1  
    1010import waf as docs_waf
    1111
    12 version = 'Master (4.11.99)'
     12version = '4.11 (4.11.2)'
    1313
    1414build_all = ['user',
     
    4040    for b in building:
    4141        ctx.recurse(b)
     42
     43    #
     44    # Build the catalogue and install with the coverpage and static content.
     45    #
    4246    ctx(rule = catalogue,
    4347        target = 'catalogue.xml',
    4448        source = ['wscript', 'common/waf.py'])
    4549    ctx.install_files('${PREFIX}', 'catalogue.xml')
     50    ctx.install_files('${PREFIX}', 'common/html-coverpage/index.html')
     51    static_dir = ctx.path.find_dir('common/html-coverpage/static')
     52    ctx.install_files('${PREFIX}/static',
     53                      static_dir.ant_glob('**'),
     54                      cwd = static_dir,
     55                      relative_trick = True)
    4656
    4757def install(ctx):
Note: See TracChangeset for help on using the changeset viewer.