summaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
authorChris Johns <chrisj@rtems.org>2017-03-20 12:18:53 +1100
committerChris Johns <chrisj@rtems.org>2017-03-20 12:18:53 +1100
commitf97be09dafecd715906b8feaa57b176c8e9606d9 (patch)
tree9d33e77448d840260e0ece7906b751b69ccd3027 /wscript
parentuser: Add tool commands to the user manual. (diff)
downloadrtems-docs-f97be09dafecd715906b8feaa57b176c8e9606d9.tar.bz2
Use a single top level version number.
Diffstat (limited to 'wscript')
-rw-r--r--wscript5
1 files changed, 3 insertions, 2 deletions
diff --git a/wscript b/wscript
index 0373a90..28ebec5 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.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