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

2017-12-01 Thread Sean Whitton
Hello, On Fri, Dec 01 2017, Sean Whitton wrote: > How about renaming index.html to policy.html and policy-1.html to > index.html on the web mirrors? Sorry, this was a stupid suggestion and won't work. There are references to index.html in the chapters. -- Sean Whitton signature.asc

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

2017-12-01 Thread Sean Whitton
Hello Laura, On Fri, Dec 01 2017, Laura Arjona Reina wrote: > My proposal is to clarify, at the top of the document, what the user gets, and > where are the other formats. In particular, add this paragraph (or something > similar) right after "This is Debian Policy version 4.1.2.0, released on >

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

2017-12-01 Thread Laura Arjona Reina
Hello El 04/10/17 a las 05:50, Paul Wise escribió: > 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

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

2017-10-03 Thread Paul Wise
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

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

2017-10-03 Thread Sean Whitton
Hello Paul, On Tue, Oct 03 2017, Paul Wise wrote: > I propose to do it by placing both versions of the document into the > same directory and then setting the DocumentIndex Apache configuration > option to prefer the single page document over the multi-page one. You mean - installing the

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

2017-10-02 Thread Paul Wise
On Sat, 30 Sep 2017 09:33:52 -0700 Sean Whitton wrote: > We (the active Policy Team members) think that the single page version > is more suitable for Debian's web mirrors. This is because it is more > useful for newcomers: with the single page version, it is possible to > use your browser's

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

2017-09-30 Thread Sean Whitton
Hello Laura, On Sun, Oct 01 2017, Laura Arjona Reina wrote: > I've applied your patch, and also reviewed our mvhtml_sphinx() > function and adapted it to copy the 1-page manual and the _static and > _images files only. > > (If in the future the package carries translations, we'll need to >

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

2017-09-30 Thread Laura Arjona Reina
Hello Sean El 30/09/17 a las 18:33, Sean Whitton escribió: > > Please revert this, so the single page version is published on our web > mirrors. Here is a patch (against [1]; unfortunately, I'm not in a > position to test it). I'd appreciate it if this change could be made > quickly, to avoid

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

2017-09-30 Thread Sean Whitton
Package: www.debian.org Severity: normal Tags: patch Hello www-team, One of the improvements for which we switched Debian Policy to build with Sphinx was the ability to output the Policy Manual as a single HTML page. Previously, it was only possible to output the Policy Manual as a number of