raspi/meta-raspberrypi
1
0
Fork 1
mirror of https://github.com/agherzan/meta-raspberrypi.git synced 2025-12-06 14:19:12 +00:00
Code Issues Projects Releases Wiki Activity
Files
master
meta-raspberrypi/docs/conf.py
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
Reference in New Issue View Git Blame Copy Permalink