diff options
author | Martin von Gagern <Martin.vGagern@gmx.net> | 2013-04-03 21:54:33 +0200 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-04-03 16:14:19 -0700 |
commit | cbfd124c22b3d42cfc40d7de2205e3d7b7b96fe7 (patch) | |
tree | 171c87c632f41ae2596c22d260c943642eb65f04 /Documentation | |
parent | Start preparing for 1.8.1.6 (diff) | |
download | tgif-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-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; |