Error running makeinfo

[Reinhard Kotucha]

On 2021-05-23 at 17:41:45 +0000, Hefferon, Jim S. wrote:

 > (For any random googler who finds this message, FWIW I had to run
 >   configure --prefix=/usr/local
 >   make
 >   make install
 > as three separate commands on my Ubuntu 18 install.)

Hi Jim,
the argument --prefix=/usr/local is usually not necessary because it's
almost? always set by default.

But I strongly recommend to run

  ./configure --help

in advance.

Regards,
  Reinhard

--
------------------------------------------------------------------
Reinhard Kotucha                            Phone: +49-511-3373112
Marschnerstr. 25
D-30167 Hannover                    mailto:reinhard.kotucha at web.de
------------------------------------------------------------------