Re: Bug#872944: #872944 www.debian.org: Remove JavaScript from Policy Manual published on web mirrors
On Thu, Apr 11, 2024 at 09:18:06AM +0200, Thomas Lange wrote: > A single page html may be an additional option but there's already the > single page txt version and the PDF. That's sufficient and I see no > need in providing more formats of this manual. > > Therefore we can close this and I will close 877337. fwiw, I disagree with this conclusion. single page txt and pdf versions are no replacements for single page html. -- cheers, Holger ⢀⣴⠾⠻⢶⣦⠀ ⣾⠁⢠⠒⠀⣿⡁ holger@(debian|reproducible-builds|layer-acht).org ⢿⡄⠘⠷⠚⠋⠀ OpenPGP: B8BF54137B09D35CF026FE9D 091AB856069AAA1C ⠈⠳⣄ Another end of the world is possible. signature.asc Description: PGP signature
Re: Bug#872944: #872944 www.debian.org: Remove JavaScript from Policy Manual published on web mirrors
Currently we have a working solution using js and providing multi page html. That's a good solution which is already available. > 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. A single page html may be an additional option but there's already the single page txt version and the PDF. That's sufficient and I see no need in providing more formats of this manual. Therefore we can close this and I will close 877337. -- regards Thomas