Cannot pdftex the maxima texinfo docs



"Vadim V. Zhytnikov" <vvzhy@mail.ru> writes:

> Jesper Harder ßØèÕâ:
>> Camm Maguire <camm@enhanced.com> writes:
>>
>>>Greetings!  When trying to process the maxima texinfo docs with
>>>pdftex, I get the following errors:
>>>
>>>(./texinfo.tex Loading texinfo [version 1999-04-25.15]:
>>                                  ^^^^^^^^^^^^^^^^^^^^^^^
>> The problem is that texinfo.tex in maxima/doc/info/ is too old.  It
>> works for me if I replace it with the version from Texinfo 4.2.
>
> Strange but I don't observe your problems.

Maybe your pdftex picks up the version of texinfo.tex installed on your
system instead of the one included with Maxima.  What does the log file
say about it?