Error running makeinfo

Reinhard Kotucha reinhard.kotucha at
Mon May 24 01:59:03 CEST 2021

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.


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

More information about the tex-live mailing list.