diff options
| author |  Eric Sunshine <sunshine@sunshineco.com> | 2018-08-31 02:33:18 -0400 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2018-08-31 11:49:52 -0700 |
| commit | 6f924265a0bf6efa677e9a684cebdde958e5ba06 (patch) | |
| tree | 9f0a7b7694aef45c78b89afdcb427123237a9597 /bulk-checkin.h | |
| parent | doc-diff: add --clean mode to remove temporary working gunk (diff) | |
| download | tgif-6f924265a0bf6efa677e9a684cebdde958e5ba06.tar.xz | |
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>
Diffstat (limited to 'bulk-checkin.h')
0 files changed, 0 insertions, 0 deletions