From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 17 Aug 2018 20:09:58 +0000 (-0700)
Subject: Merge branch 'jk/diff-rendered-docs'
X-Git-Tag: v2.19.0-rc0~39
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=f74e7b8c5b1d5d7a70cfd3a747ee7242060092e9;p=git

Merge branch 'jk/diff-rendered-docs'

The end result of documentation update has been made to be
inspected more easily to help developers.

* jk/diff-rendered-docs:
  add a script to diff rendered documentation
---

f74e7b8c5b1d5d7a70cfd3a747ee7242060092e9