diff options
author | Tom Rini <trini@konsulko.com> | 2024-01-17 09:27:23 -0500 |
---|---|---|
committer | Tom Rini <trini@konsulko.com> | 2024-01-17 09:27:23 -0500 |
commit | bdaa0b27b3b384a8dbe2dc9d48ce870b0854d6ec (patch) | |
tree | 13cfd6369c9f16f11903a0c80c53047904307cd4 /doc/conf.py | |
parent | 106332d6cc583c4339e07020989d09b567900a59 (diff) | |
parent | 21c856797e2735fbd4e8b900803e6c42eae8d434 (diff) |
Merge tag 'efi-2024-04-rc1-2' of https://source.denx.de/u-boot/custodians/u-boot-efi
Documentation:
* add generated index to table of contents
* create index entries for commands
* update Python packages used to build the documentation
* fix typos in dfu documentation
UEFI:
* split unrelated code from efi_bootmgr.c
* rename CONFIG_BOOTEFI_BOOTMGR to CONFIG_EFI_BOOTMGR
* net: tftp: remove explicit EFI configuration dependency
* fs: remove explicit EFI configuration dependency
Other:
* Add Goldfish RTC driver and make it available on RISC-V QEMU
Diffstat (limited to 'doc/conf.py')
-rw-r--r-- | doc/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index 5e2ff1c8f5e..c9138a5a5d4 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -228,7 +228,7 @@ highlight_language = 'none' try: import sphinx_rtd_theme html_theme = 'sphinx_rtd_theme' - html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] + extensions.append('sphinx_rtd_theme') except ImportError: sys.stderr.write('Warning: The Sphinx \'sphinx_rtd_theme\' HTML theme was not found. Make sure you have the theme installed to produce pretty HTML output. Falling back to the default theme.\n') |