Andrew's git / gitweb.git / diff
?
Merge branch 'jk/subtree-install-fix' into maint
authorJunio C Hamano <gitster@pobox.com>
Thu, 7 Nov 2013 22:37:17 +0000 (14:37 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 7 Nov 2013 22:37:17 +0000 (14:37 -0800)
We did not generate HTML version of documentation to "git subtree"
in contrib/.

* jk/subtree-install-fix:
subtree: add makefile target for html docs

Trivial merge