Martin von Gagern <Martin.vGagern@xxxxxxx> 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@xxxxxxx> > --- > 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 majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html