On Tue, Jul 23, 2024 at 10:19:52PM +0100, Gavin Smith wrote: > > Find attached a patch that fixes this error. >
Here is a similar patch that solves it for me (maybe not for an out of source build), which I find simpler. I think that it is interesting independentely of the make dist issue, it would make sense to want to build info only by going directly to the directory. -- Pat
diff --git a/info/Makefile.am b/info/Makefile.am index 2315b1c999..d81fe127e3 100644 --- a/info/Makefile.am +++ b/info/Makefile.am @@ -75,6 +75,10 @@ DISTCLEANFILES = $(generated_sources) noinst_PROGRAMS = makedoc makedoc_SOURCES = makedoc.c +# Specify how to build the prerequisites of makedoc +../gnulib/lib/libgnu.a: + cd ../gnulib/lib && $(MAKE) $(AM_MAKEFLAGS) + # Files with Info commands defined that makedoc should read. cmd_sources = $(srcdir)/session.c $(srcdir)/echo-area.c $(srcdir)/infodoc.c \ $(srcdir)/m-x.c $(srcdir)/indices.c $(srcdir)/nodemenu.c \
