From: Eric Sunshine Date: Fri, 31 Aug 2018 06:33:18 +0000 (-0400) Subject: doc/Makefile: drop doc-diff worktree and temporary files on "make clean" X-Git-Tag: v2.20.0-rc0~232^2~1 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=6f924265a0bf6efa677e9a684cebdde958e5ba06;p=git doc/Makefile: drop doc-diff worktree and temporary files on "make clean" doc-diff creates a temporary working tree (git-worktree) and generates a bunch of temporary files which it does not remove since they act as a cache to speed up subsequent runs. Although doc-diff's working tree and generated files are not strictly build products of the Makefile (which, itself, never runs doc-diff), as a convenience, update "make clean" to clean up doc-diff's working tree and generated files along with other development detritus normally removed by "make clean". Signed-off-by: Eric Sunshine Signed-off-by: Junio C Hamano --- diff --git a/Documentation/Makefile b/Documentation/Makefile index d079d7c73a..623f1a866d 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -331,6 +331,7 @@ clean: $(RM) SubmittingPatches.txt $(RM) $(cmds_txt) $(mergetools_txt) *.made $(RM) manpage-base-url.xsl + '$(SHELL_PATH_SQ)' ./doc-diff --clean $(MAN_HTML): %.html : %.txt asciidoc.conf $(QUIET_ASCIIDOC)$(RM) $@+ $@ && \