diff options
| author | Mauro Carvalho Chehab <[email protected]> | 2019-05-22 18:43:46 -0300 |
|---|---|---|
| committer | Jonathan Corbet <[email protected]> | 2019-05-24 09:09:32 -0600 |
| commit | 77d09ad9dc515c719f83f3b8489b0abc43563769 (patch) | |
| tree | 589cef6c8eb207279d485331ef9b6fd677d6ca27 /tools/perf/scripts/python/export-to-postgresql.py | |
| parent | 3bc8088464712fdcb078eefb68837ccfcc413c88 (diff) | |
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 <[email protected]>
Signed-off-by: Jonathan Corbet <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/export-to-postgresql.py')
0 files changed, 0 insertions, 0 deletions