Hello, On Mon 22 Jul 2019 at 09:22pm +00, Holger Levsen wrote:
> I wonder how this was done for debian-policy which is also hosted on > www.debian.org. Sean, do you have any insight on this? Paul, Laura and Osamu hacked on the www-team's scripts until it worked -- I'm afraid I wasn't involved other than reporting problems with the published version of Policy, and I don't think we made changes to our package in response to any requests from the www-team. -- Sean Whitton
