Skip to content

Commit 6f92426

Browse files
sunshinecogitster
authored andcommitted
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 <[email protected]> Signed-off-by: Junio C Hamano <[email protected]>
1 parent ad51743 commit 6f92426

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

Documentation/Makefile

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -331,6 +331,7 @@ clean:
331331
$(RM) SubmittingPatches.txt
332332
$(RM) $(cmds_txt) $(mergetools_txt) *.made
333333
$(RM) manpage-base-url.xsl
334+
'$(SHELL_PATH_SQ)' ./doc-diff --clean
334335

335336
$(MAN_HTML): %.html : %.txt asciidoc.conf
336337
$(QUIET_ASCIIDOC)$(RM) $@+ $@ && \

0 commit comments

Comments
 (0)