Re: [PATCH v2] git: update documentation for --git-dir
On Tue, Jan 28, 2020 at 8:33 PM Jeff King <peff@peff.net> wrote:
Show 14 quoted lines
>
> One tool that might help as you do documentation patches: there's a
> doc-diff script that shows the rendered differences.
>
> Try:
>
> cd Documentation
> ./doc-diff HEAD^ HEAD
>
> (on a branch with your patch at the tip). It was originally written to
> investigate changes to the markup, etc, but I find it's useful just for
> looking at any documentation patch, because it takes you right to the
> part that changed. :)
>
Nice, thank you for the tip :)
Heba