Merge branch 'jk/doc-diff-parallel'
authorJunio C Hamano <redacted>
Mon, 2 Mar 2020 23:07:17 +0000 (15:07 -0800)
committerJunio C Hamano <redacted>
Mon, 2 Mar 2020 23:07:17 +0000 (15:07 -0800)
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