Bug#987943: www.debian.org: Developers Reference: Sphinx search non-functional: searchindex.js missing

> On Mon, 8 Apr 2024 00:35:46 +0200, Holger Wansing > said: >> Can be viewed at >> >> (also with a different html theme, BTW) >> The search works for me. Thanks a lot. --

Bug#987943: www.debian.org: Developers Reference: Sphinx search non-functional: searchindex.js missing

Hi, Holger Wansing wrote (Sat, 25 Nov 2023 12:43:24 +0100): > In the meantime things have evolved, Sphinx has changed its way to > deal with this; see > > > Thus, the current developers-reference built on a bookworm or later system

Bug#987943: www.debian.org: Developers Reference: Sphinx search non-functional: searchindex.js missing

In the meantime things have evolved, Sphinx has changed its way to deal with this; see Thus, the current developers-reference built on a bookworm or later system leads to a output, where the search is working. Can be viewed at

Bug#987943: www.debian.org: Developers Reference: Sphinx search non-functional: searchindex.js missing

Package: www.debian.org Severity: normal Sphinx search is broken on the developers reference: https://www.debian.org/doc/manuals/developers-reference/searchindex.js is 404. SR