diff options
| author | Jack Lloyd <[email protected]> | 2018-07-03 12:52:10 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2018-07-03 12:52:10 -0400 |
| commit | d245acfc18a79a99d1d7cd51ddd5c86fc1d92416 (patch) | |
| tree | 49f5a53cf22d350b203819ad9bf990515f86be63 /src/scripts/build_docs.py | |
| parent | f639dae0a472a04a37799791297d6b1ae89e0995 (diff) | |
Fix some document formatting bugs
Diffstat (limited to 'src/scripts/build_docs.py')
| -rwxr-xr-x | src/scripts/build_docs.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/scripts/build_docs.py b/src/scripts/build_docs.py index 92542dd2d..a959c98e2 100755 --- a/src/scripts/build_docs.py +++ b/src/scripts/build_docs.py @@ -175,8 +175,7 @@ def main(args=None): cmds.append(['doxygen', os.path.join(cfg['build_dir'], 'botan.doxy')]) if with_sphinx: - sphinx_build = ['sphinx-build', - '-c', cfg['sphinx_config_dir']] + sphinx_build = ['sphinx-build', '-q', '-c', cfg['sphinx_config_dir']] if sphinx_supports_concurrency(): sphinx_build += ['-j', str(get_concurrency())] |