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. -- reg

webwml failed

/srv/www.debian.org/cron/log/wml_run.log-make -C platforms install /srv/www.debian.org/cron/log/wml_run.log-make[4]: Entering directory '/srv/www.debian.org/webwml/portuguese/vote/2022/platforms' /srv/www.debian.org/cron/log/wml_run.log-make[4]: Leaving directory '/srv/www.debian.org/webwml/portu

webwml failed

/srv/www.debian.org/cron/log/wml_run.log-make -C 2022 install /srv/www.debian.org/cron/log/wml_run.log-make[3]: Entering directory '/srv/www.debian.org/webwml/portuguese/vote/2022' /srv/www.debian.org/cron/log/wml_run.log-make -C platforms install /srv/www.debian.org/cron/log/wml_run.log-make[4]:

webwml failed

/srv/www.debian.org/cron/log/wml_run.log-make -C 2022 install /srv/www.debian.org/cron/log/wml_run.log-make[3]: Entering directory '/srv/www.debian.org/webwml/portuguese/vote/2022' /srv/www.debian.org/cron/log/wml_run.log-make -C platforms install /srv/www.debian.org/cron/log/wml_run.log-make[4]: