From: Michael Fladischer <FladischerMichael@fladi.at>
Date: Sat, 19 Oct 2024 19:49:01 +0000
Subject: Remove sphinx_search extension, not packaged for Debian yet.

---
 docs/conf.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/docs/conf.py b/docs/conf.py
index 8472602..af83e36 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -44,7 +44,6 @@ version = ".".join(release.split(".")[:3])
 extensions = [
     "sphinx.ext.intersphinx",
     "sphinx.ext.todo",
-    "sphinx_search.extension",
     "settings",
 ]