John Keeping <> writes:

> On Thu, Jan 31, 2013 at 02:43:20PM -0800, Junio C Hamano wrote:
>> John Keeping <> writes:
>> > Yes.  Should I change it to "" 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'

To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to