diff options
author | Heinrich Schuchardt <heinrich.schuchardt@canonical.com> | 2024-01-14 14:18:20 +0100 |
---|---|---|
committer | Heinrich Schuchardt <heinrich.schuchardt@canonical.com> | 2024-01-17 08:40:19 +0100 |
commit | 31a221d3f25fdd4a7c9e645f74bf1112ad776cd0 (patch) | |
tree | 0ae7dcfdd14975f6671387544ec9033dc4860fe6 /doc/conf.py | |
parent | f5209829af5c032514c19be7e0652e2e7377d1fd (diff) |
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>
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 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') |