summaryrefslogtreecommitdiff
path: root/Documentation
diff options
context:
space:
mode:
authorLibravatar Martin von Gagern <Martin.vGagern@gmx.net>2013-04-03 21:54:33 +0200
committerLibravatar Junio C Hamano <gitster@pobox.com>2013-04-03 16:14:19 -0700
commitcbfd124c22b3d42cfc40d7de2205e3d7b7b96fe7 (patch)
tree171c87c632f41ae2596c22d260c943642eb65f04 /Documentation
parentStart preparing for 1.8.1.6 (diff)
downloadtgif-cbfd124c22b3d42cfc40d7de2205e3d7b7b96fe7.tar.xz
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 <Martin.vGagern@gmx.net> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
-rwxr-xr-xDocumentation/cat-texi.perl1
1 files changed, 1 insertions, 0 deletions
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 (<STDIN>) {
push @menu, $1;
}
s/\(\@pxref{\[(URLS|REMOTES)\]}\)//;
+ s/\@anchor\{[^{}]*\}//g;
print TMP;
}
close TMP;