docs: fix search not working

TomJGooding · TomJGooding · commit a648cdcec2de · 2025-04-15T12:07:03.000+01:00
Fix the documentation search not working after a recent Read the Docs upgrade. This adds `sphinx_rtd_theme` to the extensions as recommended in the install guide: https://sphinx-rtd-theme.readthedocs.io/en/stable/installing.html Fixes: #3697
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -50,6 +50,7 @@
     "sphinx.ext.intersphinx",
     "sphinx.ext.autosectionlabel",
     "sphinx_copybutton",
+    "sphinx_rtd_theme",
 ]
 
 # Add any paths that contain templates here, relative to this directory.

Original file line number	Diff line number	Diff line change
`@@ -50,6 +50,7 @@`
`50`	`50`	`"sphinx.ext.intersphinx",`
`51`	`51`	`"sphinx.ext.autosectionlabel",`
`52`	`52`	`"sphinx_copybutton",`
	`53`	`+ "sphinx_rtd_theme",`
`53`	`54`	`]`
`54`	`55`
`55`	`56`	`# Add any paths that contain templates here, relative to this directory.`