summaryrefslogtreecommitdiff
path: root/.pylintrc
diff options
context:
space:
mode:
authorJonathan Corbet <corbet@lwn.net>2025-11-10 15:04:29 -0700
committerJonathan Corbet <corbet@lwn.net>2025-11-18 09:22:40 -0700
commit778b8ebe5192e7a7f00563a7456517dfa63e1d90 (patch)
treed2ed04960fe8ed6cebeb3bb3789de0e38c308ff9 /.pylintrc
parentf690e07859e67505e7106ef5b4fae5e8b71b2109 (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 '.pylintrc')
-rw-r--r--.pylintrc2
1 files changed, 1 insertions, 1 deletions
diff --git a/.pylintrc b/.pylintrc
index 89eaf2100edd..8c6fc2b628b3 100644
--- a/.pylintrc
+++ b/.pylintrc
@@ -1,2 +1,2 @@
[MASTER]
-init-hook='import sys; sys.path += ["scripts/lib/kdoc", "scripts/lib/abi", "tools/docs/lib"]'
+init-hook='import sys; sys.path += ["tools/lib/python"]'