[PATCH] doc/Makefile: remove tmp-doc-diff on "make clean"
- From
Jeff King <peff@peff.net>
- Date
- Aug 30, 2018, 19:55 UTC
- Message-ID
- <20180830195546.GA22407@sigill.intra.peff.net>
- In-Reply-To
- <20180830081202.GA10224@sigill.intra.peff.net>
The tmp-doc-diff directory isn't strictly a build product of the Makefile, since it's only present if you manually run the doc-diff script. But anybody running "make clean" would probably want it to go away.
Suggested-by: Eric Sunshine <sunshine@sunshineco.com> Signed-off-by: Jeff King <peff@peff.net> ---
> Another fixup for jk/diff-rendered-docs,[...]
And here's one more. I don't have a strong opinion on this myself, but it seems sensible. I doubt anybody cares overly much about the cost of an extra $(RM) during "make clean" (and if they do, we really ought to consider joining the existing ones into a single invocation).
Documentation/Makefile | 1 + 1 file changed, 1 insertion(+)
diff --git a/Documentation/Makefile b/Documentation/Makefile index a42dcfc745..99a349ce9a 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -332,6 +332,7 @@ clean: $(RM) SubmittingPatches.txt $(RM) $(cmds_txt) $(mergetools_txt) *.made $(RM) manpage-base-url.xsl + $(RM) -r tmp-doc-diff $(MAN_HTML): %.html : %.txt asciidoc.conf $(QUIET_ASCIIDOC)$(RM) $@+ $@ && \
-- 2.19.0.rc1.546.g3fcb3c0d7c