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

Reply via email to