]> git.ipfire.org Git - thirdparty/git.git/commit
doc/Makefile: drop doc-diff worktree and temporary files on "make clean"
authorEric Sunshine <sunshine@sunshineco.com>
Fri, 31 Aug 2018 06:33:18 +0000 (02:33 -0400)
committerJunio C Hamano <gitster@pobox.com>
Fri, 31 Aug 2018 18:49:52 +0000 (11:49 -0700)
commit6f924265a0bf6efa677e9a684cebdde958e5ba06
tree9f0a7b7694aef45c78b89afdcb427123237a9597
parentad51743007d408ba6f1f670126d57722bb397ce6
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>
Documentation/Makefile