On Sat, 12 Oct 2024, 20:35 Kristoffer Haugsbakk, <kristofferhaugsbakk@xxxxxxxxxxxx> wrote: > > 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? […] not much. It is an attempt to signify what the commit relates to. In this case it might hint at the commit not impacting the sources of what is built, but the build process itself. Maybe #🏗️ would be more clear.
