Re: [PATCH 1/1] subtree: add build targets 'man' and 'html'
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Oct 16, 2018, 02:05 UTC
- Message-ID
- <xmqq1s8q4pen.fsf@gitster-ct.c.googlers.com>
- In-Reply-To
- <20181015231501.5a7524b0@leda>
Christian Hesse <list@eworm.de> writes:
Show 8 quoted lines
> 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.