diff options
author | Junio C Hamano <gitster@pobox.com> | 2013-04-07 14:32:59 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2013-04-07 14:32:59 -0700 |
commit | cd5123da9b577efed4c968b2836d9a8dd11cc6fd (patch) | |
tree | f0bee1e539dea64d1cdba81edb95deb25af23c98 /Documentation | |
parent | 8a2decfec6a0fd30fe0fdd3b00655b60e6e01274 (diff) | |
parent | cbfd124c22b3d42cfc40d7de2205e3d7b7b96fe7 (diff) | |
download | git-cd5123da9b577efed4c968b2836d9a8dd11cc6fd.tar.gz git-cd5123da9b577efed4c968b2836d9a8dd11cc6fd.tar.xz |
Merge branch 'mg/texinfo-5'
Strip @anchor elements in the texinfo output of the documentation,
as a single document created by concatenating our entire manual set
will produce many duplicates that makes newer texinfo unhappy.
* mg/texinfo-5:
Documentation: Strip texinfo anchors to avoid duplicates
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 828ec6255..87437f8a9 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; |