Re: [PATCH] Allow generating a non-default set of documentation
From: Junio C Hamano <hidden>
Date: 2016-06-15 22:54:57
Jeff King [off-list ref] writes:
quoted hunk
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.