From: Jonathan Nieder <jrnieder@gmail.com>
Date: Wed, 18 Apr 2012 20:02:15 GMT
Subject: Re: [PATCH 2/2] var doc: advertise current DEFAULT_PAGER and DEFAULT_EDITOR settings
Message-ID: <20120418200215.GB30558@burratino>
In-Reply-To: <7v1uo8k64l.fsf@alter.siamese.dyndns.org>

Hi Junio,

Junio C Hamano wrote:

> something like:
>
> 	... then the default chosen at compile time, which is usually 'vi'.
> ifdef::git-default-editor[]
> 	The build you are using chose '{git-default-editor}' as the default.
> endif::git-default-editor[]
>
> may be less confusing.

I was not sure if this text would interrupt the flow of reading
before, but I couldn't think of a good alternative so I didn't say
anything.  Sorry about that.  Now I've looked at the built result and
think the new text is good. :)

Thanks,
Jonathan