Docs: remove our Sphinx search extension

humitos · humitos · commit eec42c54000b · 2024-07-15T16:26:56.000+02:00
We've deprecated this extension and we've replaced it by the search addon.
diff --git a/docs/user/guides/reproducible-builds.rst b/docs/user/guides/reproducible-builds.rst
@@ -55,7 +55,7 @@ A configuration file with explicit dependencies looks like this:
    # Defining the exact version will make sure things don't break
    sphinx==5.3.0
    sphinx_rtd_theme==1.1.1
-   readthedocs-sphinx-search==0.1.1
+   sphinx-notfound-page==1.0.2
 
 .. tip::
 
diff --git a/requirements/docs.in b/requirements/docs.in
@@ -11,7 +11,6 @@ sphinx-design
 sphinx-multiproject
 
 # RTD deps :)
-readthedocs-sphinx-search
 sphinx-hoverxref
 sphinx-notfound-page
 
diff --git a/requirements/docs.txt b/requirements/docs.txt
@@ -90,8 +90,6 @@ python-dateutil==2.9.0.post0
     # via matplotlib
 pyyaml==6.0.1
     # via myst-parser
-readthedocs-sphinx-search==0.3.2
-    # via -r requirements/docs.in
 requests==2.32.3
     # via sphinx
 six==1.16.0
