Re: [PATCH] Allow generating a non-default set of documentation
- From
Jeff King <peff@peff.net>
- Date
- Oct 7, 2012, 23:01 UTC
- Message-ID
- <20121007230102.GB3490@sigill.intra.peff.net>
- In-Reply-To
- <7vsj9poq8v.fsf@alter.siamese.dyndns.org>
On Sun, Oct 07, 2012 at 03:45:52PM -0700, Junio C Hamano wrote:
Show 5 quoted lines
> So here is a proposed update based on your idea, to be squashed on > top (i.e. the change to the top-level Makefile in the posted patch > is not reverted). > > Does it make sense?
The change to Documentation/Makefile makes sense, but what then is the point of the second half of this hunk from your original:
@@ -2468,10 +2476,10 @@ $(XDIFF_LIB): $(XDIFF_OBJS) $(VCSSVN_LIB): $(VCSSVN_OBJS) $(QUIET_AR)$(RM) $@ && $(AR) rcs $@ $(VCSSVN_OBJS) -export DEFAULT_EDITOR DEFAULT_PAGER +export DEFAULT_EDITOR DEFAULT_PAGER DEFAULT_DOC_TARGET doc: - $(MAKE) -C Documentation all + $(MAKE) -C Documentation $(DEFAULT_DOC_TARGET) man: $(MAKE) -C Documentation man We know that "all" is simply a redirect to DEFAULT_DOC_TARGET internally within the documentation Makefile, and we know that it is propagated by the export line above. I do not think it creates the wrong behavior, but it is unnecessary, and omitting a target at all demonstrates to a reader how they can get the same behavior from within Documentation (namely by running just "make"). -Peff