Commit 219e21c7799972538eff55ebddf0e5380efc904b

Bruno Haible 2023-01-30T02:45:23

maintainer-makefile: Determine gnulib's location on disk correctly. * top/maint.mk (gnulib_dir): Give priority to $(GNULIB_SRCDIR) over $(srcdir)/gnulib.