Merge branch 'jk/subtree-install-fix' into maint
authorJunio C Hamano <gitster@pobox.com>
Thu, 7 Nov 2013 22:37:17 +0000 (7 14:37 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 7 Nov 2013 22:37:17 +0000 (7 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