Merge branch 'jk/doc-makefile-cleanup'
authorJunio C Hamano <gitster@pobox.com>
Thu, 7 Feb 2013 22:41:51 +0000 (14:41 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 7 Feb 2013 22:41:51 +0000 (14:41 -0800)
commitb9a5f6811d186ec2420df39e3ec8087c7166a636
tree668dd424d6e2d0c03986a2b5be26f210d96bc991
parent8e12ab2f336aea36dc29f4129926a69e6ba67027
parenta617578d373972842d41cc86625cf094c113d58b
Merge branch 'jk/doc-makefile-cleanup'

* jk/doc-makefile-cleanup:
  Documentation/Makefile: clean up MAN*_TXT lists
Documentation/Makefile