Merge branch 'jk/doc-diff-parallel'
authorJunio C Hamano <gitster@pobox.com>
Mon, 2 Mar 2020 23:07:17 +0000 (15:07 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 2 Mar 2020 23:07:17 +0000 (15:07 -0800)
commit29b09c518c93e916bc91758d4cebe86b56f43040
tree8c5da1d4c51c7bb08573c917317b4a09a2ce8a9a
parent2d2118b814c11f509e1aa76cb07110f7231668dc
parent2607d39da347e207ecb972300cdb8b82f6772d3b
Merge branch 'jk/doc-diff-parallel'

Update to doc-diff.

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