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