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.
HTH
Robert Dodier