Merge branch 'mg/texinfo-5'
authorJunio C Hamano <gitster@pobox.com>
Sun, 7 Apr 2013 21:32:59 +0000 (14:32 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sun, 7 Apr 2013 21:32:59 +0000 (14:32 -0700)
Strip @anchor elements in the texinfo output of the documentation,
as a single document created by concatenating our entire manual set
will produce many duplicates that makes newer texinfo unhappy.

* mg/texinfo-5:
Documentation: Strip texinfo anchors to avoid duplicates

Trivial merge