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

Martin von Gagern martin.vgag...@gmx.net 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 martin.vgag...@gmx.net --- Documentation/cat-texi.perl | 1 + 1

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

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