From: Heinrich Schuchardt <heinrich.schuchardt@canonical.com>
Date: Sun, 14 Jan 2024 13:18:20 +0000 (+0100)
Subject: doc: add sphinx_rtd_theme extension
X-Git-Url: http://git.dujemihanovic.xyz/?a=commitdiff_plain;h=31a221d3f25fdd4a7c9e645f74bf1112ad776cd0;p=u-boot.git

doc: add sphinx_rtd_theme extension

Newer versions of sphinx_rtd_theme require to add sphinx_rtd_theme to the
list of extensions. Cf.
https://github.com/readthedocs/readthedocs.org/pull/9654

Signed-off-by: Heinrich Schuchardt <heinrich.schuchardt@canonical.com>
---

diff --git a/doc/conf.py b/doc/conf.py
index 5e2ff1c8f5..c9138a5a5d 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')