On Fri, Apr 14, 2017 at 07:41:24PM +0100, Stephen Finucane wrote:
> On Fri, 2017-04-14 at 10:31 -0700, Ben Pfaff wrote:
> > It seems that there's a style here that every title has a separate
> > link
> > target even if it's never used. Maybe there is some reason for that
> > (maybe
> > it should b
On Fri, 2017-04-14 at 10:31 -0700, Ben Pfaff wrote:
> It seems that there's a style here that every title has a separate
> link
> target even if it's never used. Maybe there is some reason for that
> (maybe
> it should be explained in the documentation style document?), but if
> not
> then it seem
It seems that there's a style here that every title has a separate link
target even if it's never used. Maybe there is some reason for that (maybe
it should be explained in the documentation style document?), but if not
then it seems reasonable to leave out the unused ones since they look to
me li