diff options
author | Mauro Carvalho Chehab <mchehab+samsung@kernel.org> | 2019-05-22 18:43:46 -0300 |
---|---|---|
committer | Jonathan Corbet <corbet@lwn.net> | 2019-05-24 09:09:32 -0600 |
commit | 77d09ad9dc515c719f83f3b8489b0abc43563769 (patch) | |
tree | 589cef6c8eb207279d485331ef9b6fd677d6ca27 /scripts/gdb/linux/tasks.py | |
parent | 3bc8088464712fdcb078eefb68837ccfcc413c88 (diff) | |
download | lwn-77d09ad9dc515c719f83f3b8489b0abc43563769.tar.gz lwn-77d09ad9dc515c719f83f3b8489b0abc43563769.zip |
scripts/sphinx-pre-install: make it handle Sphinx versions
As we want to switch to a newer Sphinx version in the future,
add some version detected logic, checking if the current
version meets the requirement and suggesting upgrade it the
version is supported but too old.
Signed-off-by: Mauro Carvalho Chehab <mchehab+samsung@kernel.org>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'scripts/gdb/linux/tasks.py')
0 files changed, 0 insertions, 0 deletions