Re: [PATCH 4/4] doc: Generate a list of valid merge tools
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jan 27, 2013, 23:46 UTC
- Message-ID
- <7v4ni2chqe.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <1359321886-80523-5-git-send-email-davvid@gmail.com>
David Aguilar <davvid@gmail.com> writes:
Show 11 quoted lines
> diff --git a/Documentation/Makefile b/Documentation/Makefile > index 267dfe1..f595d26 100644 > --- a/Documentation/Makefile > +++ b/Documentation/Makefile > @@ -226,13 +226,27 @@ cmd-list.made: cmd-list.perl ../command-list.txt $(MAN1_TXT) > $(PERL_PATH) ./cmd-list.perl ../command-list.txt $(QUIET_STDERR) && \ > date >$@ > > +mergetools_txt = mergetools-diff.txt mergetools-merge.txt > + > +$(mergetools_txt): mergetools-list.made
The product of files that include these two and doc.dep target have to depend on these two files being up to date. doc.dep depends on $(wildcard *.txt) so you may be lucky and $(mergetools_txt) have been built once in which case they would depend on it, or unlukcy and end up doc.dep that does not know about them, no?