Am 18.07.24 um 11:17 schrieb Peter Maydell:
> On Wed, 17 Jul 2024 at 21:11, Volker Rümelin 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 a
On Wed, 17 Jul 2024 at 21:11, Volker Rümelin 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 jQuer
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
