Re: [PATCH] Documentation: Strip texinfo anchors to avoid duplicates

2013-04-03 Thread Martin von Gagern
On 03.04.2013 22:07, Junio C Hamano wrote: > I see why duplicates are bad, but does that mean not having any is > better? I'd say yes: duplicate anchors cause current versions of texinfo to reject the document outright, and older versions will likely cause a broken interpretation of any anchor nam

Re: [PATCH] Documentation: Strip texinfo anchors to avoid duplicates

2013-04-03 Thread Junio C Hamano
Martin von Gagern writes: > This keeps texinfo 5.x happy. See https://bugs.gentoo.org/464210. I see why duplicates are bad, but does that mean not having any is better? > > Signed-off-by: Martin von Gagern > --- > Documentation/cat-texi.perl | 1 + > 1 file changed, 1 insertion(+) > > diff --

[PATCH] Documentation: Strip texinfo anchors to avoid duplicates

2013-04-03 Thread Martin von Gagern
This keeps texinfo 5.x happy. See https://bugs.gentoo.org/464210. Signed-off-by: Martin von Gagern --- Documentation/cat-texi.perl | 1 + 1 file changed, 1 insertion(+) diff --git a/Documentation/cat-texi.perl b/Documentation/cat-texi.perl index dbc133c..b52660d 100755 --- a/Documentation/cat-t