Merge branch 'rb/quick-install-doc'
authorJunio C Hamano <gitster@pobox.com>
Wed, 27 Dec 2017 19:16:30 +0000 (11:16 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 27 Dec 2017 19:16:30 +0000 (11:16 -0800)
The build procedure now allows not just the repositories but also
the refs to be used to take pre-formatted manpages and html
documents to install.

* rb/quick-install-doc:
  install-doc-quick: allow specifying what ref to install


Trivial merge