projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 26d797f) | patch
docs: sphinx-pre-install: don't require the RTD theme
authorJonathan Corbet <corbet@lwn.net>
Tue, 27 Sep 2022 16:45:50 +0000 (10:45 -0600)
committerJonathan Corbet <corbet@lwn.net>
Thu, 13 Oct 2022 17:14:43 +0000 (11:14 -0600)
commitdf19817f3ff3de28e87139b6d172c0094402e1f2
tree730a73d02d82061ec3b678fc5d6461a5b22c8424tree | snapshot
parent26d797ffc1c06f05ccc06f70977ebe386d628f14commit | diff
docs: sphinx-pre-install: don't require the RTD theme

We don't default to the RTD theme anymore, so sphinx-pre-install need not
insist on installing it.

Acked-by: Mauro Carvalho Chehab <mchehab@kernel.org>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Documentation/sphinx/requirements.txt diff | blob | history
scripts/sphinx-pre-install diff | blob | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git