mirror of
https://github.com/ceph/ceph
synced 2026-08-01 22:45:39 +00:00
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>
This commit is contained in:
parent
5bc195949a
commit
77356f1f78
@ -1,2 +1 @@
|
|||||||
plantweb
|
plantweb
|
||||||
readthedocs-sphinx-search@git+https://github.com/readthedocs/readthedocs-sphinx-search@main
|
|
||||||
|
|||||||
@ -165,9 +165,6 @@ else:
|
|||||||
'engine': 'ditaa'
|
'engine': 'ditaa'
|
||||||
}
|
}
|
||||||
|
|
||||||
if build_with_rtd:
|
|
||||||
extensions += ['sphinx_search.extension']
|
|
||||||
|
|
||||||
# sphinx.ext.todo options
|
# sphinx.ext.todo options
|
||||||
todo_include_todos = True
|
todo_include_todos = True
|
||||||
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user