summaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
Diffstat (limited to 'wscript')
-rw-r--r--wscript5
1 files changed, 3 insertions, 2 deletions
diff --git a/wscript b/wscript
index 16b3efc..585e23f 100644
--- a/wscript
+++ b/wscript
@@ -9,7 +9,7 @@ path.append(abspath('common'))
import waflib
import waf as docs_waf
-version = '4.11 (4.11.2)'
+version = '4.11 (branch)'
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