diff options
| author | Jonathan Corbet <corbet@lwn.net> | 2025-11-10 15:04:29 -0700 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2025-11-18 09:22:40 -0700 |
| commit | 778b8ebe5192e7a7f00563a7456517dfa63e1d90 (patch) | |
| tree | d2ed04960fe8ed6cebeb3bb3789de0e38c308ff9 /tools/docs/sphinx-pre-install | |
| parent | f690e07859e67505e7106ef5b4fae5e8b71b2109 (diff) | |
docs: Move the python libraries to tools/lib/python
"scripts/lib" was always a bit of an awkward place for Python modules. We
already have tools/lib; create a tools/lib/python, move the libraries
there, and update the users accordingly.
While at it, move the contents of tools/docs/lib. Rather than make another
directory, just put these documentation-oriented modules under "kdoc".
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Message-ID: <20251110220430.726665-2-corbet@lwn.net>
Diffstat (limited to 'tools/docs/sphinx-pre-install')
| -rwxr-xr-x | tools/docs/sphinx-pre-install | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tools/docs/sphinx-pre-install b/tools/docs/sphinx-pre-install index 647e1f60357f..d8c9fb76948d 100755 --- a/tools/docs/sphinx-pre-install +++ b/tools/docs/sphinx-pre-install @@ -32,8 +32,11 @@ import re import subprocess import sys from glob import glob +import os.path -from lib.python_version import PythonVersion +src_dir = os.path.dirname(os.path.realpath(__file__)) +sys.path.insert(0, os.path.join(src_dir, '../lib/python/kdoc')) +from python_version import PythonVersion RECOMMENDED_VERSION = PythonVersion("3.4.3").version MIN_PYTHON_VERSION = PythonVersion("3.7").version |