diff options
| author | Jack Lloyd <[email protected]> | 2018-07-02 11:52:10 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-07-02 11:52:10 -0400 |
| commit | a14ab32d50597c4e403278b2ca9473acd2de6cb1 (patch) | |
| tree | dfbc1350d732be7e6945c69056823aebf3b735a9 /configure.py | |
| parent | d40c9bacdba37cecb0ebca78bcef31a88979bd48 (diff) | |
Avoid having Doxygen error out except in maintainer mode builds
Increases likelyhood that it will fail to build for an end user
which is not helpful for anyone.
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configure.py b/configure.py index b09f07bb5..35be81a73 100755 --- a/configure.py +++ b/configure.py @@ -1863,6 +1863,7 @@ def create_template_vars(source_paths, build_paths, options, modules, cc, arch, 'with_rst2man': options.with_rst2man, 'sphinx_config_dir': source_paths.sphinx_config_dir, 'with_doxygen': options.with_doxygen, + 'maintainer_mode': options.maintainer_mode, 'out_dir': build_dir, 'build_dir': build_paths.build_dir, |