Re: [PATCH] Include diff options in the git-log manpage

From: Junio C Hamano <gitster@pobox.com>
Date: Dec 4, 2007, 17:57 UTC
Message-ID: <7vzlwq4a1w.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <20071204122859.GQ31750@genesis.frugalware.org>

Miklos Vajna <vmiklos@frugalware.org> writes:

Show 9 quoted lines

> On Thu, Nov 01, 2007 at 03:57:40PM +0100, Miklos Vajna <vmiklos@frugalware.org> wrote:
>> Recently I wanted to see what git log -M does but actually I was not able to
>> find it in the manpage, finally figured out that all the diff options are
>> missing from here.
>> 
>> Removing -p as it's already in diff-options.txt.
>
> could you please have a look at this patch? this also fixes the "-C is
> missing from man git-log" issue which was reported on IRC today.

There was a patch around diff options documentation from Sergei last month, and somehow I thought it covered this issue as well.

Will format the docs before and after your fix, compare them, and then decide either to drop or accept, which will take some time but will be done before -rc0.

Thanks.