diff options
| author | Jack Lloyd <[email protected]> | 2020-04-09 07:30:46 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2020-04-09 07:30:46 -0400 |
| commit | 18e1e5f64ba42c9a8e5e3471155882f132362dfe (patch) | |
| tree | f2f77e55bf082a3e3c06c31e1fb416800deb75af /src/scripts | |
| parent | 80b1bd1b53943dfdb47a345ada9af708195968b0 (diff) | |
Blacklist only Sphinx 3.0
Bug has already been fixed upstream so future 3.0.1 and 3.1 will work.
Current regex only grabs the major/minor versions not the patch, so
this leaves parallel builds still disabled for future 3.0.1
Diffstat (limited to 'src/scripts')
| -rwxr-xr-x | src/scripts/build_docs.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/scripts/build_docs.py b/src/scripts/build_docs.py index 1eb523e50..6eb9b656c 100755 --- a/src/scripts/build_docs.py +++ b/src/scripts/build_docs.py @@ -150,7 +150,7 @@ def sphinx_supports_concurrency(): if version < StrictVersion('1.4'): # not supported return False - if version >= StrictVersion('3.0'): + if version == StrictVersion('3.0'): # Bug in Sphinx 3.0 https://github.com/sphinx-doc/sphinx/issues/7438 return False return True |