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