diff options
Diffstat (limited to 'wscript_build')
| -rwxr-xr-x | wscript_build | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/wscript_build b/wscript_build index 8c96b5c50e7..5434056fe1a 100755 --- a/wscript_build +++ b/wscript_build @@ -147,3 +147,4 @@ 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) +bld.RECURSE('docs-xml') |