diff options
Diffstat (limited to 'wscript_build')
| -rwxr-xr-x | wscript_build | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/wscript_build b/wscript_build index b6716993440..8c96b5c50e7 100755 --- a/wscript_build +++ b/wscript_build @@ -143,3 +143,7 @@ bld.RECURSE('testsuite/headers') bld.SYMBOL_CHECK() bld.DUP_SYMBOL_CHECK() + +bld.env.ABS_TOP_BUILDDIR = bld.srcnode.abspath() + '/docs-xml' +bld.CONFIGURE_FILE('docs-xml/build/catalog.xml', + ABS_TOP_BUILDDIR = bld.env.ABS_TOP_BUILDDIR) |