Merge branch 'mg/texinfo-5' into maint

* mg/texinfo-5: Documentation: Strip texinfo anchors to avoid duplicates
git-mirror · Apr 12, 2013 · 97ff97d · 97ff97d
2 parents 15af30e + cbfd124
commit 97ff97d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Documentation/cat-texi.perl b/Documentation/cat-texi.perl
@@ -12,6 +12,7 @@
 		push @menu, $1;
 	}
 	s/\(\@pxref{\[(URLS|REMOTES)\]}\)//;
+	s/\@anchor\{[^{}]*\}//g;
 	print TMP;
 }
 close TMP;