Re: [PATCH] docs: fix the html docs search function

[Peter Maydell]

On Wed, 17 Jul 2024 at 21:11, Volker Rümelin <vr_qemu@t-online.de> wrote:
>
> Fix the search function in Sphinx generated html docs when built
> with Sphinx >= 6.0.0.
>
> Quote from the Sphinx blog at
> https://blog.readthedocs.com/sphinx6-upgrade
>
> Sphinx 6 is out and has important breaking changes
>
> Bundled jQuery is removed. The JavaScript asset is easily added
> back using the new extension sphinxcontrib-jquery. It is included
> automatically by sphinx-rtd-theme, so if you are using our theme,
> you will also continue to have jQuery available in your
> documentation.

We do use the sphinx-rtd-theme, though:
 html_theme = 'sphinx_rtd_theme'

so that release note suggests we shouldn't need to manually
pull in sphinxcontrib-jquery ?

thanks
-- PMM