Andrei Gherzan 98ee0439ca docs: Fix documentation theme ...

This avoids failing builds with:
NameError: name 'html_theme' is not defined

It also makes the theme configuration explicit and correctly set up.

Signed-off-by: Andrei Gherzan <andrei@gherzan.com>

2023-08-29 22:43:01 +01:00

9.8 KiB

Raw Permalink Blame History

View Raw