Merge branch 'ps/common-info-doc' into maint
commitd92466ee25ca2dd79c6f0f7a804f765a5930990c
authorJunio C Hamano <gitster@pobox.com>
Tue, 29 Nov 2016 21:28:01 +0000 (29 13:28 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 29 Nov 2016 21:28:01 +0000 (29 13:28 -0800)
tree17c2ca2b64d28866962c3874bbf48b454edd6f31
parente3c4323e23b59038c354ced895be7d9c2f3bbd4c
parent3285b7badb1d063793525ebcdffdafa13d0ced9c
Merge branch 'ps/common-info-doc' into maint

Doc fix.

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