[PATCH v2 02/15] docs: conf.py: don't use doctree with a different meaning

From: Mauro Carvalho Chehab

Date: Thu Jan 15 2026 - 10:40:42 EST


At Sphinx, doctree is a directory where doc build cache is stored.
Use a better name.

No functional changes.

Suggested-by: Jani Nikula <jani.nikula@xxxxxxxxxxxxxxx>
Signed-off-by: Mauro Carvalho Chehab <mchehab+huawei@xxxxxxxxxx>
---
Documentation/conf.py | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Documentation/conf.py b/Documentation/conf.py
index 1ea2ae5c6276..548e57b1fb01 100644
--- a/Documentation/conf.py
+++ b/Documentation/conf.py
@@ -33,7 +33,7 @@ else:
include_patterns = ["**.rst"]

# Location of Documentation/ directory
-doctree = os.path.abspath(".")
+kern_doc_dir = os.path.abspath(".")

# Exclude of patterns that don't contain directory names, in glob format.
exclude_patterns = []
@@ -70,7 +70,7 @@ def config_init(app, config):
# setup include_patterns dynamically
if has_include_patterns:
for p in dyn_include_patterns:
- full = os.path.join(doctree, p)
+ full = os.path.join(kern_doc_dir, p)

rel_path = os.path.relpath(full, start=app.srcdir)
if rel_path.startswith("../"):
@@ -80,7 +80,7 @@ def config_init(app, config):

# setup exclude_patterns dynamically
for p in dyn_exclude_patterns:
- full = os.path.join(doctree, p)
+ full = os.path.join(kern_doc_dir, p)

rel_path = os.path.relpath(full, start=app.srcdir)
if rel_path.startswith("../"):
@@ -92,7 +92,7 @@ def config_init(app, config):
# of the app.srcdir. Add them here

# Handle the case where SPHINXDIRS is used
- if not os.path.samefile(doctree, app.srcdir):
+ if not os.path.samefile(kern_doc_dir, app.srcdir):
# Add a tag to mark that the build is actually a subproject
tags.add("subproject")

--
2.52.0