Merge branch 'jk/doc-diff-parallel' into maint
authorJunio C Hamano <redacted>
Tue, 17 Mar 2020 22:02:22 +0000 (15:02 -0700)
committerJunio C Hamano <redacted>
Tue, 17 Mar 2020 22:02:22 +0000 (15:02 -0700)
Update to doc-diff.

* jk/doc-diff-parallel:
  doc-diff: use single-colon rule in rendering Makefile


Trivial merge
git clone https://git.99rst.org/PROJECT