From: Junio C Hamano <gitster@pobox.com>
Date: Sun, 07 Oct 2012 22:32:11 GMT
Subject: Re: [PATCH] Allow generating a non-default set of documentation
Message-ID: <7v626lq5g4.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20121007214855.GB1743@sigill.intra.peff.net>

Jeff King <peff@peff.net> writes:

> Why not do it like this:
>
> diff --git a/Documentation/Makefile b/Documentation/Makefile
> index 267dfe1..ca10313 100644
> --- a/Documentation/Makefile
> +++ b/Documentation/Makefile
> @@ -152,7 +152,8 @@ endif
>  endif
>  endif
>  
> -all: html man
> +DEFAULT_DOC_TARGET ?= html man
> +all: $(DEFAULT_DOC_TARGET)
>  
>  html: $(DOC_HTML)
>  
>
> which covers both cases? That is also how we handle DEFAULT_TEST_TARGET.

Surely, and thanks.