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.
