raspi/linux
1
0
Fork 1
mirror of https://github.com/raspberrypi/linux.git synced 2025-12-06 10:00:17 +00:00
Code Issues Projects Releases Wiki Activity

docs: Don't push Sphinx upgrades quite so readily

Browse Source 
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>
This commit is contained in:
Jonathan Corbet
2020-06-22 16:31:21 -06:00
parent b3a9e3b962
commit 2f444efdaa
1 changed files with 0 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
scripts/sphinx-pre-install
View File

@@ -323,10 +323,6 @@ sub check_sphinx()
$rec_sphinx_upgrade = 1; $rec_sphinx_upgrade = 1;
return; return;
} }
if ($cur_version lt $min_pdf_version) {
$rec_sphinx_upgrade = 1;
return;
}
# On version check mode, just assume Sphinx has all mandatory deps # On version check mode, just assume Sphinx has all mandatory deps
exit (0) if ($version_check); exit (0) if ($version_check);