[PATCH 3/3] doc/Makefile: drop doc-diff worktree and temporary files on "make clean"
- From
Eric Sunshine <sunshine@sunshineco.com>
- Date
- Aug 31, 2018, 06:33 UTC
- Message-ID
- <20180831063318.33373-4-sunshine@sunshineco.com>
- In-Reply-To
- <20180831063318.33373-1-sunshine@sunshineco.com>
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 <sunshine@sunshineco.com> --- Documentation/Makefile | 1 + 1 file changed, 1 insertion(+)
diff --git a/Documentation/Makefile b/Documentation/Makefile index a42dcfc745..26e268ae8d 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 + '$(SHELL_PATH_SQ)' ./doc-diff --clean $(MAN_HTML): %.html : %.txt asciidoc.conf $(QUIET_ASCIIDOC)$(RM) $@+ $@ && \
-- 2.19.0.rc1.352.gb1634b371d