Martin von Gagern <martin.vgag...@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.vgag...@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;
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to