From: Martin von Gagern Date: Wed, 3 Apr 2013 19:54:33 +0000 (+0200) Subject: Documentation: Strip texinfo anchors to avoid duplicates X-Git-Url: http://git.99rst.org/?a=commitdiff_plain;h=cbfd124c22b3d42cfc40d7de2205e3d7b7b96fe7;p=git.git Documentation: Strip texinfo anchors to avoid duplicates This keeps texinfo 5.x happy. See https://bugs.gentoo.org/464210. Signed-off-by: Martin von Gagern Signed-off-by: Junio C Hamano --- diff --git a/Documentation/cat-texi.perl b/Documentation/cat-texi.perl index 828ec62554..87437f8a95 100755 --- a/Documentation/cat-texi.perl +++ b/Documentation/cat-texi.perl @@ -12,6 +12,7 @@ while () { push @menu, $1; } s/\(\@pxref{\[(URLS|REMOTES)\]}\)//; + s/\@anchor\{[^{}]*\}//g; print TMP; } close TMP;