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 <https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872944#74>

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 
<https://people.debian.org/~holgerw/sphinx-theme-for-debian/alabaster/developers-reference/>
(also with a different html theme, BTW)


So, when wolkenstein gets updates to bookworm (currently on bullseye)
it will just, I guess.


Holger


-- 
Sent from /e/ OS on Fairphone3