Merge branch 'mg/texinfo-5' into maint
commit97ff97dc055f779fd65fff57c91ceaba98e0d412
authorJunio C Hamano <gitster@pobox.com>
Fri, 12 Apr 2013 20:41:48 +0000 (12 13:41 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 12 Apr 2013 20:41:48 +0000 (12 13:41 -0700)
tree3a8cbbbcf1f84056667dd668a934c01abfa01b01
parent15af30e72f6b86740d6e155d58bc823df72dd84f
parentcbfd124c22b3d42cfc40d7de2205e3d7b7b96fe7
Merge branch 'mg/texinfo-5' into maint

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