From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 17 Sep 2018 20:53:59 +0000 (-0700)
Subject: Merge branch 'jk/diff-rendered-docs'
X-Git-Tag: v2.20.0-rc0~232
X-Git-Url: https://git.lorimer.id.au/gitweb.git/diff_plain/98509d0f48ab2316699e0670da6b3e13616ed567

Merge branch 'jk/diff-rendered-docs'

Dev doc update.

* jk/diff-rendered-docs:
Revert "doc/Makefile: drop doc-diff worktree and temporary files on "make clean""
doc/Makefile: drop doc-diff worktree and temporary files on "make clean"
doc-diff: add --clean mode to remove temporary working gunk
doc-diff: fix non-portable 'man' invocation
doc-diff: always use oids inside worktree
SubmittingPatches: mention doc-diff
---

98509d0f48ab2316699e0670da6b3e13616ed567