Subject: Re: [PATCH 2/2] doc: describe mergetool configuration in git-mergetool(1)

From: Junio C Hamano <[email-masked]>
Date: Sat, 13 Mar 2021 15:37:45 -0800

Jonathan Nieder <[email-masked]> 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 ;-)