doc: remove unused readthedocs-sphinx-search

Remove readthedocs-sphinx-search from the RTD build environment because
it seems to be unused and unsupported.

RTD has archived the readthedocs-sphinx-search repo since Apr 2025.
The docs website does not seem to show such function, the search box
in the top-left corner requires a search to be submitted and is not
live.

Fixes: https://tracker.ceph.com/issues/72918
Signed-off-by: Ville Ojamo <git2233+ceph@ojamo.eu>

diff --git a/admin/doc-read-the-docs.txt b/admin/doc-read-the-docs.txt
index ed405c4e3bddcf67e9b4c38d6836e08fda51139e..bcc77ccffb0a3553f7b3a2a8b101e6a3468cd7e4 100644 (file)
--- a/admin/doc-read-the-docs.txt
+++ b/admin/doc-read-the-docs.txt
@@ -1,2 +1 @@
 plantweb
-readthedocs-sphinx-search@git+https://github.com/readthedocs/readthedocs-sphinx-search@main

diff --git a/doc/conf.py b/doc/conf.py
index 3c2e214a8aca0787009b077e8b3f7a4ae7c91bbd..9a3372b93631108433e4e53719a92172c872da09 100644 (file)
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -165,9 +165,6 @@ else:
         'engine': 'ditaa'
     }
 
-if build_with_rtd:
-    extensions += ['sphinx_search.extension']
-
 # sphinx.ext.todo options
 todo_include_todos = True