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

2018-10-15 Thread Junio C Hamano
Junio C Hamano writes: > Christian Hesse writes: > >> Junio C Hamano 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 y

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

2018-10-15 Thread Junio C Hamano
Christian Hesse writes: > Junio C Hamano 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

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

2018-10-15 Thread Christian Hesse
Junio C Hamano 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

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

2018-10-12 Thread Johannes Schindelin
On Wed, 10 Oct 2018, Junio C Hamano wrote: > Christian Hesse writes: > > > From: Christian Hesse > > > > We have targets 'install-man' and 'install-html', let's add build > > targets as well. > > ... > > +man: $(GIT_SUBTREE_DOC) > > + > > +html: $(GIT_SUBTREE_HTML) > > + > > As 'contrib' m

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

2018-10-09 Thread Junio C Hamano
Christian Hesse writes: > From: Christian Hesse > > We have targets 'install-man' and 'install-html', let's add build > targets as well. > ... > +man: $(GIT_SUBTREE_DOC) > + > +html: $(GIT_SUBTREE_HTML) > + As 'contrib' material without real maintenance, I do not care too deeply, but shouldn'