diff options
| author | Jonathan Corbet <[email protected]> | 2020-06-26 09:36:23 -0600 |
|---|---|---|
| committer | Jonathan Corbet <[email protected]> | 2020-06-26 09:36:23 -0600 |
| commit | ee98fac8e06cbdc91b2d76293eda65bd759add6c (patch) | |
| tree | ed0b19c467acf19982030921624138b60d57e882 /scripts | |
| parent | 46e906144c3f4b0a7b6dcc7713fafad65b1859e0 (diff) | |
| parent | 7d9c29bb6c7f41e0a9204377e57935a373677572 (diff) | |
Merge branch 'docs-fixes' into docs-next
Bring a handful of (relatively) urgent fixes into docs-next as well.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/sphinx-pre-install | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/scripts/sphinx-pre-install b/scripts/sphinx-pre-install index c680c3efb176..40fa6923e80a 100755 --- a/scripts/sphinx-pre-install +++ b/scripts/sphinx-pre-install @@ -323,10 +323,6 @@ sub check_sphinx() $rec_sphinx_upgrade = 1; return; } - if ($cur_version lt $min_pdf_version) { - $rec_sphinx_upgrade = 1; - return; - } # On version check mode, just assume Sphinx has all mandatory deps exit (0) if ($version_check); |