Hi, Bill Allombert <bill.allomb...@math.u-bordeaux.fr> wrote (Wed, 10 Apr 2024 22:24:20 +0200): > 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.
I did not go deeper into this scenario, I just found https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=877337 which includes a forward-backword-forward dance switching multiple times between multi-page and single-page html variant requests. Holger -- Holger Wansing <hwans...@mailbox.org> PGP-Fingerprint: 496A C6E8 1442 4B34 8508 3529 59F1 87CA 156E B076
