Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
Documentation: Strip texinfo anchors to avoid duplicates
author
Martin von Gagern
<Martin.vGagern@gmx.net>
Wed, 3 Apr 2013 19:54:33 +0000
(21:54 +0200)
committer
Junio C Hamano
<gitster@pobox.com>
Wed, 3 Apr 2013 23:14:19 +0000
(16:14 -0700)
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>
Documentation/cat-texi.perl
patch
|
blob
|
history
raw
|
patch
| inline |
side by side
(parent:
072dda6
)
diff --git
a/Documentation/cat-texi.perl
b/Documentation/cat-texi.perl
index 828ec62554fe927eb16a03f835448e6db0c303a1..87437f8a95768595e040b8c4c1d48e5c29ada087 100755
(executable)
--- a/
Documentation/cat-texi.perl
+++ b/
Documentation/cat-texi.perl
@@
-12,6
+12,7
@@
push @menu, $1;
}
s/\(\@pxref{\[(URLS|REMOTES)\]}\)//;
+ s/\@anchor\{[^{}]*\}//g;
print TMP;
}
close TMP;