Re: [PATCH] doc/Makefile: remove tmp-doc-diff on "make clean"

From: Eric Sunshine <sunshine@sunshineco.com>
Date: Aug 30, 2018, 20:36 UTC
Message-ID: <CAPig+cSq=AikZU9X8hC9QM29vUA4bNKXLvf60dweJWyvFWY0EA@mail.gmail.com>
In-Reply-To: <CAPig+cRXEegGwm3QiyEZqkVN1NYv5xAAYRuAKHUE8n-g9m6jqw@mail.gmail.com>

On Thu, Aug 30, 2018 at 4:34 PM Eric Sunshine <sunshine@sunshineco.com> wrote:

Show 8 quoted lines

> 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