From: Junio C Hamano <gitster@pobox.com>
Date: Sat, 13 Mar 2021 23:37:45 GMT
Subject: Re: [PATCH 2/2] doc: describe mergetool configuration in git-mergetool(1)
Message-ID: <xmqqo8fm4oc6.fsf@gitster.g>
In-Reply-To: <YEx6ve6AbqacVTQH@google.com>

Jonathan Nieder <jrnieder@gmail.com> writes:

> Tested by running
>
> 	make -C Documentation git-mergetool.1
> 	man Documentation/git-mergetool.1
>
> and reading through the page.

Nice.  Also applying this step and running

	cd Documentation && ./doc-diff HEAD^ HEAD

would was a trivial way to see the change ;-)