diff options
| author | Jonathan Corbet <corbet@lwn.net> | 2022-09-27 10:45:50 -0600 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2022-10-13 11:14:43 -0600 |
| commit | df19817f3ff3de28e87139b6d172c0094402e1f2 (patch) | |
| tree | 730a73d02d82061ec3b678fc5d6461a5b22c8424 /lib/mpi/mpiutil.c | |
| parent | 26d797ffc1c06f05ccc06f70977ebe386d628f14 (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>
Diffstat (limited to 'lib/mpi/mpiutil.c')
0 files changed, 0 insertions, 0 deletions