diff options
| author | René Meusel <[email protected]> | 2019-10-09 09:45:54 +0200 |
|---|---|---|
| committer | Rene Meusel <[email protected]> | 2019-10-09 22:31:35 +0200 |
| commit | d98ccda6e558f99ba6cf49948d84d0afe2cb9b4a (patch) | |
| tree | aa639e78c62064f433f4bfc40bd62886b85fb1c7 /configure.py | |
| parent | f789d82bae4b00b9a6d1c840fe16a2367e745a6d (diff) | |
--without-documentation disables build target 'docs'
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 1fa19688a..93fc8fb36 100755 --- a/configure.py +++ b/configure.py @@ -1962,7 +1962,8 @@ def create_template_vars(source_paths, build_paths, options, modules, cc, arch, yield 'fuzzers' if 'bogo_shim' in options.build_targets: yield 'bogo_shim' - yield 'docs' + if options.with_documentation: + yield 'docs' def absolute_install_dir(p): if os.path.isabs(p): |