From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 16 Oct 2018 02:05:20 GMT
Subject: Re: [PATCH 1/1] subtree: add build targets 'man' and 'html'
Message-ID: <xmqq1s8q4pen.fsf@gitster-ct.c.googlers.com>
In-Reply-To: <20181015231501.5a7524b0@leda>

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.