mirrors/meta-raspberrypi
1
0
Fork 0
mirror of https://git.yoctoproject.org/meta-raspberrypi synced 2026-01-11 15:00:13 +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