development/git
development/git
1
0
Fork 0
mirror of https://github.com/git/git synced 2024-10-02 14:45:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

Documentation: Strip texinfo anchors to avoid duplicates

Browse source 
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>
This commit is contained in:
Martin von Gagern 2013-04-03 21:54:33 +02:00 committed by Junio C Hamano
parent 072dda68ea
commit cbfd124c22
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Documentation/cat-texi.perl
View file

@ -12,6 +12,7 @@
push @menu, $1;
}
s/\(\@pxref{\[(URLS|REMOTES)\]}\)//;
s/\@anchor\{[^{}]*\}//g;
print TMP;
}
close TMP;