Re: [PATCH] doc/Makefile: remove tmp-doc-diff on "make clean"
- From
- Eric Sunshine <hidden>
- Date
- 2018-08-30 20:36:53
- Reply to
- Eric Sunshine, 2018-08-30
On Thu, Aug 30, 2018 at 4:34 PM Eric Sunshine [off-list ref] wrote:
Taking into consideration that people might be surprised and alarmed
to find "git worktree list" showing a worktree they didn't explicitly
create, would it make sense to do something like this?
clean:
...
-git worktree remove -f tmp-doc-diff 2>/dev/null
$(RM) -r tmp-doc-diff
More accurately:
-git worktree remove -f Documentation/tmp-doc-diff/worktree 2>/dev/null
$(RM) -r tmp-doc-diff