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 1ea9515..c740900 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',
 ]