Bug#872944: #872944 www.debian.org: Remove JavaScript from Policy Manual published on web mirrors

2024-04-13 Thread Sean Whitton
Hello, On Thu 11 Apr 2024 at 08:32am GMT, Holger Levsen wrote: > 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

Bug#872944: #872944 www.debian.org: Remove JavaScript from Policy Manual published on web mirrors

2024-04-11 Thread Holger Levsen
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

Bug#872944: #872944 www.debian.org: Remove JavaScript from Policy Manual published on web mirrors

2024-04-11 Thread Thomas Lange
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

Bug#872944: #872944 www.debian.org: Remove JavaScript from Policy Manual published on web mirrors

2024-04-10 Thread Holger Wansing
Hi, Bill Allombert 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

Bug#872944: #872944 www.debian.org: Remove JavaScript from Policy Manual published on web mirrors

2024-04-10 Thread Bill Allombert
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

Bug#872944: #872944 www.debian.org: Remove JavaScript from Policy Manual published on web mirrors

2024-04-10 Thread Thomas Lange
> On Wed, 10 Apr 2024 21:33:50 +0200, Holger Wansing > said: > The second javascript functionality is the full-text search. > Please note, that I made use of javascript by intend, despite of this bug > requesting to remove all js functionality. Hi holger, in the past

Bug#872944: #872944 www.debian.org: Remove JavaScript from Policy Manual published on web mirrors

2024-04-10 Thread Holger Wansing
Hello www team and debian-policy editor team, in-line with activating the new html theme on our website I also worked on the javascript front: to make the html theme work on small screens (smartphones) the readthedocs.org theme relies on javascript functionality, to display a sidebar with the