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

Hi,

Holger Wansing <[email protected]> wrote (Mon, 8 Apr 2024 00:35:46 +0200):
> Everything works fine there as far a I see (with a desktop firefox and brave
> browser, as well as with the mobile versions of those browsers on my 
> smartphone).
> Feel free to test with more browsers/platforms/whatever.
> 
> I guess I will need to trim the 7doc script once again - hrrrr ...

This is done now.
debian-policy on debian.org/doc is fine as it is now.

See commits 3462a061, a2262ec9 and ae8aa074 on
https://salsa.debian.org/webmaster-team/cron/-/commits/master/parts/7doc?ref_type=heads

So, we know now what is needed, to get it this far (aka: get the search
function working and make the html theme work on big (desktop pcs) and
small (smartphone) screens:

We need javascript functionality from the packages libjs-sphinxdoc and 
libjs-jquery. Without these, the above funtions will not work.
I brought it this far, to make sure of this fact.

I will close this bug now.

Whether javascript will stay active on debian.org website will need to be
decided. I will follow up regarding this topic on 
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872944


Holger