From: Kristoffer Haugsbakk Date: Sat, 12 Oct 2024 18:35:12 GMT Subject: Re: [PATCH v2] diff-highlight: make install link into DESTDIR #Makefile Message-ID: In-Reply-To: On Sat, Oct 12, 2024, at 19:30, immeƫmosol via GitGitGadget wrote: > [PATCH v2] diff-highlight: make install link into DESTDIR #Makefile What does `#Makefile` mean? Previous subject had two of these: diff-highlight: link to diff-highlight in DESTDIR #Makefile #diff-highlight -- Kristoffer Haugsbakk