Error running makeinfo
Reinhard Kotucha
reinhard.kotucha at web.de
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.
Regards,
Reinhard
--
------------------------------------------------------------------
Reinhard Kotucha Phone: +49-511-3373112
Marschnerstr. 25
D-30167 Hannover mailto:reinhard.kotucha at web.de
------------------------------------------------------------------
More information about the tex-live
mailing list.