diff options
author | Martin von Gagern <Martin.vGagern@gmx.net> | 2013-04-03 23:54:33 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-04-04 03:14:19 +0400 |
commit | cbfd124c22b3d42cfc40d7de2205e3d7b7b96fe7 (patch) | |
tree | 171c87c632f41ae2596c22d260c943642eb65f04 | |
parent | 072dda68eafdefe56f9305c547771367353cf89d (diff) |
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>
-rwxr-xr-x | Documentation/cat-texi.perl | 1 |
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; |