From 98ee0439caae39ce9ab4cc0bc83debf65982bf8b Mon Sep 17 00:00:00 2001 From: Andrei Gherzan Date: Tue, 29 Aug 2023 11:20:18 +0100 Subject: [PATCH] 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 --- docs/conf.py | 6 +++++- docs/requirements.txt | 1 + 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/docs/conf.py b/docs/conf.py index e7a2491dd..39e722344 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -30,7 +30,10 @@ # Add any Sphinx extension module names here, as strings. They can be # extensions coming with Sphinx (named 'sphinx.ext.*') or your custom # ones. -extensions = ['myst_parser'] +extensions = [ + 'myst_parser', + 'sphinx_rtd_theme' +] # Add any paths that contain templates here, relative to this directory. templates_path = ['_templates'] @@ -121,6 +124,7 @@ # a list of builtin themes. # # html_theme = 'alabaster' +html_theme = "sphinx_rtd_theme" # Theme options are theme-specific and customize the look and feel of a theme # further. For a list of options available for each theme, see the diff --git a/docs/requirements.txt b/docs/requirements.txt index 9e4694f90..51eebd03e 100644 --- a/docs/requirements.txt +++ b/docs/requirements.txt @@ -1 +1,2 @@ myst_parser +sphinx_rtd_theme