Paul Smith wrote (on Sat, 6 Mar 2021 at 13:59 -0500):
> So, change your assignment to remove these settings:
>
> texi_misc = $(shell MAKEFLAGS= ${MAKE} --no-print-directory -s -C doc/misc >
> echo-sources)
Thanks for the quick reply; I'm told that this worked (I could not
reproduce the issue myself).
