diff options
author | Chris Johns <chrisj@rtems.org> | 2017-03-20 12:18:53 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-03-20 12:18:53 +1100 |
commit | f97be09dafecd715906b8feaa57b176c8e9606d9 (patch) | |
tree | 9d33e77448d840260e0ece7906b751b69ccd3027 /wscript | |
parent | user: Add tool commands to the user manual. (diff) | |
download | rtems-docs-f97be09dafecd715906b8feaa57b176c8e9606d9.tar.bz2 |
Use a single top level version number.
Diffstat (limited to 'wscript')
-rw-r--r-- | wscript | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -9,7 +9,7 @@ path.append(abspath('common')) import waflib import waf as docs_waf -version = 'Master (4.11.99.1)' +version = '4.11.99 (master)' build_all = ['user', 'rsb', @@ -29,12 +29,13 @@ def options(opt): docs_waf.cmd_options(opt) def configure(conf): + conf.env.VERSION = version for b in building: conf.recurse(b) conf.env['BUILD_FROM_TOP'] = 'yes' def catalogue(ctx): - docs_waf.xml_catalogue(ctx, building, version) + docs_waf.xml_catalogue(ctx, building) def coverpage_js(ctx): js = None |