diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2013-04-12 13:41:48 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-04-12 13:41:48 -0700 |
| commit | 97ff97dc055f779fd65fff57c91ceaba98e0d412 (patch) | |
| tree | 3a8cbbbcf1f84056667dd668a934c01abfa01b01 | |
| parent | Merge branch 'jk/diffcore-break-divzero' into maint (diff) | |
| parent | Documentation: Strip texinfo anchors to avoid duplicates (diff) | |
| download | tgif-97ff97dc055f779fd65fff57c91ceaba98e0d412.tar.xz | |
Merge branch 'mg/texinfo-5' into maint
* mg/texinfo-5:
Documentation: Strip texinfo anchors to avoid duplicates
| -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; |