From 4ddf53061291db9b9bbd921a320ba2f306a2ffc8 Mon Sep 17 00:00:00 2001 From: Matej Matuska Date: Mon, 8 Dec 2025 14:03:30 +0100 Subject: [PATCH 086/111] docs: Fix search not working The jquery.js file was not getting properly put into the build/html/_static/ directory. Removing this line seems to fix that. --- docs/source/conf.py | 1 - 1 file changed, 1 deletion(-) diff --git a/docs/source/conf.py b/docs/source/conf.py index a0e6a1de..dd39d3fa 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -40,7 +40,6 @@ exclude_patterns = [] html_static_path = ['_static'] html_theme = 'sphinx_rtd_theme' -html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] pygments_style = 'sphinx' -- 2.52.0