From 8d20f23480304a4d2b06999b0ffffd28b9c0a892 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Etienne=20Dubl=C3=A9?= Date: Mon, 30 Sep 2024 15:20:34 +0200 Subject: [PATCH] Fix web docs search function not working. Remove obsolete html_theme_path setting from doc/walt/doc/sphinx/conf.py. This was causing the search function to fail, as described here: https://github.com/readthedocs/sphinx_rtd_theme/issues/1434 --- doc/walt/doc/sphinx/conf.py | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/walt/doc/sphinx/conf.py b/doc/walt/doc/sphinx/conf.py index 3c5b1410d..baf9a1a04 100644 --- a/doc/walt/doc/sphinx/conf.py +++ b/doc/walt/doc/sphinx/conf.py @@ -76,7 +76,6 @@ def get_version(): # https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-html-output html_theme = "sphinx_rtd_theme" -html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] html_static_path = ["_static"] html_logo = "logo-walt.png" html_theme_options = {