Re: [PATCH] diff-highlight: Add clean target to Makefile

2017-08-29 Thread Jeff King
On Tue, Aug 29, 2017 at 12:23:11PM +0100, Daniel Watkins wrote: > Now that `make` produces a file, we should have a clean target to remove > it. > [...] > +clean: > + $(RM) diff-highlight > + Makes sense. Thanks! -Peff

[PATCH] diff-highlight: Add clean target to Makefile

2017-08-29 Thread Daniel Watkins
Now that `make` produces a file, we should have a clean target to remove it. Signed-off-by: Daniel Watkins --- contrib/diff-highlight/Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/contrib/diff-highlight/Makefile b/contrib/diff-highlight/Makefile index fbf5c5824..f2be7cc92 10064