Merge branch 'ps/common-info-doc'
commit12133d52c1948d80a87c360a3265658d7345489f
authorJunio C Hamano <gitster@pobox.com>
Fri, 11 Nov 2016 21:56:31 +0000 (11 13:56 -0800)
committerJunio C Hamano <gitster@pobox.com>
Fri, 11 Nov 2016 21:56:31 +0000 (11 13:56 -0800)
treecc5ee69a76b82ccdc2160dca318fcd2ad74c12e3
parent7f2a3921fb7f49da6a870fb3bfcad69631e70ca9
parent3285b7badb1d063793525ebcdffdafa13d0ced9c
Merge branch 'ps/common-info-doc'

Doc fix.

* ps/common-info-doc:
  doc: fix location of 'info/' with $GIT_COMMON_DIR