From: immeëmosol Date: Sat, 12 Oct 2024 19:10:09 GMT Subject: Re: [PATCH v2] diff-highlight: make install link into DESTDIR #Makefile Message-ID: In-Reply-To: On Sat, 12 Oct 2024, 20:35 Kristoffer Haugsbakk, 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.