Max Kellermann e6a25e7e0b doc/conf.py: use "sphinx_rtd_theme" only if it is installed ...

Don't fail at build time only because the RTD scheme is not installed.
Such a problem should be detected at configure time.

2025-03-13 14:44:23 +01:00

94 KiB

Raw Blame History

View Raw