tree f7beb98fc5439a4958324d95ac86cad2fca74419
parent 1a4abcbb3b7950d6367be5e142503173088a078c
parent 2607d39da347e207ecb972300cdb8b82f6772d3b
author Junio C Hamano <gitster@pobox.com> 1584482542 -0700
committer Junio C Hamano <gitster@pobox.com> 1584482542 -0700

Merge branch 'jk/doc-diff-parallel' into maint

Update to doc-diff.

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