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 <sunshine@sunshineco.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>

Eric Sunshine committed Aug 31, 2018 at 02:33 UTC 6f924265a0bf6efa677e9a684cebdde958e5ba06
1 file changed +1
Documentation/Makefile
+1
@@ -331,6 +331,7 @@ clean:
331 $(RM) SubmittingPatches.txt
332 $(RM) $(cmds_txt) $(mergetools_txt) *.made
333 $(RM) manpage-base-url.xsl
334 + '$(SHELL_PATH_SQ)' ./doc-diff --clean
335
336 $(MAN_HTML): %.html : %.txt asciidoc.conf
337 $(QUIET_ASCIIDOC)$(RM) $@+ $@ && \