Bug#877337: www.debian.org: Switch back to single page version of Policy Manual

On Wed, Oct 4, 2017 at 11:41 AM, Sean Whitton wrote:

> - installing the policy.html/ dir as https://www.debian.org/doc/debian-policy/;
> - copying policy-1.html into that dir; and
> - telling Apache to serve policy-1.html as the directory index?

Correct.

> I'm a little worried people could be very confused (why is
> debian-policy/index.html different from debian-policy/?!  is there some
> cache refresh needed somewhere?) but I don't object.

Hmm, I'm not sure what to do about that.

> I'm about to upload a fix for that, though, following your advice, the
> <link> tags will point to policy.html/, so they would break again if
> policy-1.html were copied within that directory.

You could use symlinks in the package instead to avoid that.