From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 03 Apr 2013 20:07:48 GMT
Subject: Re: [PATCH] Documentation: Strip texinfo anchors to avoid duplicates
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?

>
> 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;