single-page html of debian-policy to be revived?

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 the

Re: single-page html of debian-policy to be revived?

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 (C