Re: [PATCH] Rename {git- => git}remote-helpers.txt

From: Junio C Hamano <gitster@pobox.com>
Date: Jan 31, 2013, 23:49 UTC
Message-ID: <7vd2wkewvb.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20130131225620.GQ1342@serenity.lan>

John Keeping <john@keeping.me.uk> writes:

Show 16 quoted lines

> On Thu, Jan 31, 2013 at 02:43:20PM -0800, Junio C Hamano wrote:
>> John Keeping <john@keeping.me.uk> writes:
>> 
>> > Yes.  Should I change it to "git-remote-helpers.html.in" and then copy
>> > it into place?  That seems like the simplest answer and means that
>> > "*.html" will continue to refer only to generated files.
>> 
>> I'd like to see if we can have a way to keep its look as the default
>> css gets updated without maintainance burden.
>> 
>> How about using AsciiDoc instead of "cp", perhaps like this on top
>> of your patch?
>
> I tried AsciiDoc first but didn't like the output.  I think putting "See
> gitremote-helpers" in the synopsis is the magic I was missing.  This
> looks good to me.

Actually I didn't mean "take this patch, it works". I've queued a slightly different version and will push it out as part of 'pu' later.

Thanks.