Merge branch 'ch/subtree-build'
authorJunio C Hamano <gitster@pobox.com>
Tue, 30 Oct 2018 06:43:39 +0000 (15:43 +0900)
committerJunio C Hamano <gitster@pobox.com>
Tue, 30 Oct 2018 06:43:40 +0000 (15:43 +0900)
Build update for "git subtree" (in contrib/) documentation pages.

* ch/subtree-build:
Revert "subtree: make install targets depend on build targets"
subtree: make install targets depend on build targets
subtree: add build targets 'man' and 'html'

Trivial merge