On Mon, Aug 17, 2009 at 11:01 AM, Robert Dodier<robert.dodier at gmail.com> wrote:
> On 8/16/09, Sheldon Newhouse <sen1 at math.msu.edu> wrote:
>
>> make[3]: Entering directory `/usr/local/src/maxima-5.19.1/doc/info'
>> makeinfo --split-size=1000000 maxima.texi
>> /bin/bash: makeinfo: command not found
>
> Looks like makeinfo (which generates .info files from .texi) is missing,
> or it is in a nonstandard place so $PATH fails to see it or something.
>
> On my Fedora box, makeinfo is in the texinfo package.
> If indeed makeinfo is missing, maybe apt-get texinfo (can't remember
> the correct incantation) will install it.
For an Ubuntu system, try:
sudo apt-get install texinfo
and then enter your password
--
Regards
Minh Van Nguyen