Re: 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 forward-backword-forwar

Re: 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 we

directory for icons

2007-08-31 Thread Thomas Lange
Hi my package fai-server will include a command faimond-gui which needs some icons. Were should I put those icons? /usr/share/packagename/icons or /usr/share/commandname/icons or /usr/share/icons/packagename or a different location? I could not find anything in the policy, developers-reference o