Bug#877337: single-page html of debian-policy to be revived?

2024-04-27 Thread Bill Allombert
On Sat, Apr 27, 2024 at 10:15:19AM +0100, Sean Whitton wrote: > Hello, > > On Mon 15 Apr 2024 at 09:59am GMT, Holger Levsen wrote: > > > On Sun, Apr 14, 2024 at 08:43:51PM +0800, Sean Whitton wrote: > >> ... but if dev-ref is already shipping both, maybe singlepage is indeed > >> usable these

Bug#877337: single-page html of debian-policy to be revived?

2024-04-27 Thread Sean Whitton
Hello, On Mon 15 Apr 2024 at 09:59am GMT, Holger Levsen wrote: > On Sun, Apr 14, 2024 at 08:43:51PM +0800, Sean Whitton wrote: >> ... but if dev-ref is already shipping both, maybe singlepage is indeed >> usable these days ... > > I think it is. > >> > Could the Policy Editors team check, if

Bug#877337: single-page html of debian-policy to be revived?

2024-04-15 Thread Holger Levsen
On Sun, Apr 14, 2024 at 08:43:51PM +0800, Sean Whitton wrote: > ... but if dev-ref is already shipping both, maybe singlepage is indeed > usable these days ... I think it is. > > Could the Policy Editors team check, if everything is fine now, and if > > this should be published again? > > At

Bug#877337: single-page html of debian-policy to be revived?

2024-04-14 Thread Sean Whitton
Hello, On Sun 14 Apr 2024 at 01:57pm +02, Holger Wansing wrote: > 1. > Currently, the package does not ship this version. So this would have to > be re-added there. The changelog for 4.2.0.0 says * Stop installing policy-1.html because Sphinx's singlehtml output is too buggy at present

Bug#877337: single-page html of debian-policy to be revived?

2024-04-14 Thread Holger Wansing
Hi, Sean Whitton wrote (Sun, 14 Apr 2024 12:27:34 +0800): > 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