My Various Git Projects / git.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 46992b5 95c62fb)
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
The core git plumbing