Re: [PATCH] Documentation: Strip texinfo anchors to avoid duplicates
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Apr 3, 2013, 20:07 UTC
- Message-ID
- <7vppyb4bu3.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <1365018873-22503-1-git-send-email-Martin.vGagern@gmx.net>
Martin von Gagern <Martin.vGagern@gmx.net> writes:
> This keeps texinfo 5.x happy. See https://bugs.gentoo.org/464210.
I see why duplicates are bad, but does that mean not having any is better?
Show 18 quoted lines
>
> Signed-off-by: Martin von Gagern <Martin.vGagern@gmx.net>
> ---
> Documentation/cat-texi.perl | 1 +
> 1 file changed, 1 insertion(+)
>
> diff --git a/Documentation/cat-texi.perl b/Documentation/cat-texi.perl
> index dbc133c..b52660d 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;