]> Gentwo Git Trees - linux/.git/commitdiff
docs: Makefile: update SPHINXDIRS documentation
authorMauro Carvalho Chehab <mchehab+huawei@kernel.org>
Thu, 13 Nov 2025 11:00:32 +0000 (12:00 +0100)
committerJonathan Corbet <corbet@lwn.net>
Thu, 13 Nov 2025 16:22:30 +0000 (09:22 -0700)
Since the beginning, SPHINXDIRS was meant to be used by any
subdirectory inside Documentation/ that contains a file named
index.rst on it. The typical usecase for SPHINXDIRS is help
building subsystem-specific documentation, without needing to
wait for the entire building (with can take 3 minutes with
Sphinx 8.x and above, and a lot more with older versions).

Yet, the documentation for such feature was written back in
2016, where almost all index.rst files were at the first
level (Documentation/*/index.rst).

Update the documentation to reflect the way it works.

Signed-off-by: Mauro Carvalho Chehab <mchehab+huawei@kernel.org>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Message-ID: <683469813350214da122c258063dd71803ff700b.1763031632.git.mchehab+huawei@kernel.org>

Documentation/Makefile

index d514ab6761dca12ec29e0b5e72cc29e16d010b77..c66df29cf0a32142b9fa6b174298aecf23e0aa47 100644 (file)
@@ -104,7 +104,9 @@ dochelp:
        @echo  '  cleandocs       - clean all generated files'
        @echo
        @echo  '  make SPHINXDIRS="s1 s2" [target] Generate only docs of folder s1, s2'
-       @echo  '  valid values for SPHINXDIRS are: $(_SPHINXDIRS)'
+       @echo  '  top level values for SPHINXDIRS are: $(_SPHINXDIRS)'
+       @echo  '  you may also use a subdirectory like SPHINXDIRS=userspace-api/media,'
+       @echo  '  provided that there is an index.rst file at the subdirectory.'
        @echo
        @echo  '  make DOCS_THEME={sphinx-theme} selects a different Sphinx theme.'
        @echo