Bug#872944: #872944 www.debian.org: Remove JavaScript from Policy Manual published on web mirrors
Holger Wansing <[email protected]>
| Newsgroups | gmane.linux.debian.devel.www |
|---|---|
| Message-ID | <20240410232351.beef28e853c0136e5a8a5c15__31356.1412900285$1712784451$gmane$org@mailbox.org> |
Hi, Bill Allombert <[email protected]> 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