summaryrefslogtreecommitdiff
path: root/scripts/sphinx-pre-install
diff options
context:
space:
mode:
authorJonathan Corbet <corbet@lwn.net>2020-06-23 01:31:21 +0300
committerJonathan Corbet <corbet@lwn.net>2020-06-26 18:31:53 +0300
commit2f444efdaaed82f69d0afc4a7038a8563d8a3fa1 (patch)
tree350d62f31bedf019c60b8f4220cb3a8adc9dd80a /scripts/sphinx-pre-install
parentb3a9e3b9622ae10064826dccb4f7a52bd88c7407 (diff)
downloadlinux-2f444efdaaed82f69d0afc4a7038a8563d8a3fa1.tar.xz
docs: Don't push Sphinx upgrades quite so readily
The sphinx-pre-install script will put out a verbose message recommending an upgrade for anybody running less than 2.4.4 - which was only released in March. So *everybody* will see that warning at this point. Let's only warn if the user is below our generally recommended version (1.7.9 currently). It might be good to put out a warning if people are explicitly making PDF files, but would need to be done in a different place and relatively few people do that. Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'scripts/sphinx-pre-install')
-rwxr-xr-xscripts/sphinx-pre-install4
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);