Re: Bug#879048: Bug#876075: Anchors are non-unique in the single-HTML version

2018-06-11 Thread Sean Whitton
Hello Bill, On Sun, Jun 10 2018, Bill Allombert wrote: > The policy-1.html has the nice property that it is easy to search the > whole document. Yes, this was actually the main reason I pushed to use singlehtml as the default on the web mirrors when we switched to Sphinx. People on their own

Re: Bug#876075: Bug#879048: Bug#876075: Anchors are non-unique in the single-HTML version

2018-06-10 Thread Bill Allombert
On Sun, Jun 10, 2018 at 03:01:51PM +0200, Bill Allombert wrote: > On Sun, Jun 10, 2018 at 01:37:11PM +0100, Sean Whitton wrote: > > Hello all, > > > > On Mon, Dec 25 2017, Russ Allbery wrote: > > > > > I'm not sure where we landed with this, but it feels like the > > > single-HTML output from

Re: Bug#879048: Bug#876075: Anchors are non-unique in the single-HTML version

2018-06-10 Thread Bill Allombert
On Sun, Jun 10, 2018 at 01:37:11PM +0100, Sean Whitton wrote: > Hello all, > > On Mon, Dec 25 2017, Russ Allbery wrote: > > > I'm not sure where we landed with this, but it feels like the > > single-HTML output from Sphnix is kind of broken, and publishing that > > on the web site has caused

Re: Bug#876075: Anchors are non-unique in the single-HTML version

2017-12-26 Thread Sean Whitton
Hello, On Mon, Dec 25 2017, Russ Allbery wrote: > I'm not sure where we landed with this, but it feels like the > single-HTML output from Sphnix is kind of broken, and publishing that > on the web site has caused various problems. I'm not sure how to get > to the multi-page version on

Re: Bug#876075: Anchors are non-unique in the single-HTML version

2017-12-25 Thread Russ Allbery
Andrey Rahmatullin writes: > Package: debian-policy > Version: 4.1.0.0 > Severity: normal > https://www.debian.org/doc/debian-policy/#version > https://www.debian.org/doc/debian-policy/index.html#introduction > etc. > This breaks the ToC. More troublingly, this also breaks