Am Thu, Jul 16, 2026 at 01:32:00PM +0200 schrieb Gabriel Wicki: > Preparing to push 5240 I stumble over the fact that I don't really know > what gnu/local.mk is really about. I've seen patches being registered > there but I was unable to find the relevant documentation as to why that > is. The PR seems to work fine even without registering the patch. > > I figure this is a autotools/autoconf/automake thing, but was unable to > figure out where it comes from.
It is needed so that "make dist" includes the corresponding files into the guix tarball. Andreas
