We don't default to the RTD theme anymore, so sphinx-pre-install need not
insist on installing it.
Acked-by: NMauro Carvalho Chehab <mchehab@kernel.org>
Signed-off-by: NJonathan Corbet <corbet@lwn.net>