Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
Merge branch 'mg/texinfo-5' into maint
author
Junio C Hamano
<gitster@pobox.com>
Fri, 12 Apr 2013 20:41:48 +0000
(13:41 -0700)
committer
Junio C Hamano
<gitster@pobox.com>
Fri, 12 Apr 2013 20:41:48 +0000
(13:41 -0700)
* mg/texinfo-5:
Documentation: Strip texinfo anchors to avoid duplicates
Documentation/cat-texi.perl
patch
|
blob
|
history
raw
(from parent 1:
15af30e
)
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;