Re: master 9e94509 3/3: Generate info/dir directly from any org sources

[Eli Zaretskii]

> From: Mattias Engdegård <mattiase@acm.org>
> Date: Sat, 6 Mar 2021 15:16:21 +0100
> Cc: Glenn Morris <rgm@gnu.org>, emacs-devel@gnu.org
> 
> 6 mars 2021 kl. 12.51 skrev Basil L. Contovounesios <contovob@tcd.ie>:
> 
> > -texi_misc = $(shell ${MAKE} --no-print-directory -s -C doc/misc 
> > echo-sources)
> > +texi_misc = $(shell ${MAKE} --no-print-directory -O -s -C doc/misc 
> > echo-sources)
> 
> Maybe configure should check for the required GNU Make version then? (Om 
> macOS, the system standard is 3.81, which worked until this change.)

Indeed, it broke my builds as well.  So I reverted the change for now,
until we find a gentler one.  I don't want us to depend on a Make
version that is too recent.