Re: [PATCH 1/1] subtree: add build targets 'man' and 'html'

From: Junio C Hamano <gitster@pobox.com>
Date: Oct 16, 2018, 05:01 UTC
Message-ID: <xmqq8t2y1o4y.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <xmqq1s8q4pen.fsf@gitster-ct.c.googlers.com>

Junio C Hamano <gitster@pobox.com> writes:

Show 13 quoted lines

> Christian Hesse <list@eworm.de> writes:
>
>> Junio C Hamano <gitster@pobox.com> on Wed, 2018/10/10 11:26:
>>> As 'contrib' material without real maintenance, I do not care too
>>> deeply, but shouldn't this change be more like this to avoid
>>> duplicating the list of targets?
>>
>> Probably, yes.
>> Do you want to add this yourself or do you want me to send an updated patch
>> or one on top of the last change?
>
> In principle either is fine but keep in mind that I'll likely forget
> if you leave it up to me.

Actully, I take it back. The original patch is already in 'next', so an incremental on top of what you sent is the only valid improvement ;-)