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
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