Bug#872944: #872944 www.debian.org: Remove JavaScript from Policy Manual published on web mirrors
On Wed, Apr 10, 2024 at 09:33:50PM +0200, Holger Wansing wrote:
> Hello www team and debian-policy editor team,
>
> Note: apparently we have no alternative beside js, if we want full-text
> search for html output (single-page html could be a possible way, but
> that output format has been disabled due to various other issues).
Sorry, but why is this so hard to generate a single-page html ?
debiandoc could do it. Using the browser intra-page search is always much
easier/faster that using a search box.
Cheers,
Bill.
Reply to: