Compiling gcc-4.1.2 on 64-bit Ubuntu machines

[David Daney]

On 01/19/2011 12:11 PM, Olumide wrote:
> On 19/01/2011 17:11, Andrew Haley wrote:
>> On 01/19/2011 05:08 PM, Olumide wrote:
>>> WARNING: `makeinfo' is missing on your system. You should only need
>>> it if
>>> you modified a `.texi' or `.texinfo' file, or any other file
>>> indirectly affecting the aspect of the manual. The spurious
>>> call might also be the consequence of using a buggy `make' (AIX,
>>> DU, IRIX). You might want to install the `Texinfo' package or
>>> the `GNU make' package. Grab either from any GNU archive site.
>>
>> You keep not telling us things.
>>
>> So, does "makeinfo" do anything?
>
> I've now installed texinfo.
>
> oaina@temp2:~/Downloads/gcc-build$ which makeinfo
> /usr/bin/makeinfo
> oaina@temp2:~/Downloads/gcc-build$ makeinfo
> makeinfo: missing file argument.
> Try `makeinfo --help' for more information.
>
> Surprisingly, the build still complains that makeinfo is not available!
>

Some older versions of GCC were broken with versions of texinfo with two 
digits in part of the version number.  I suspect that is the problem you 
are seeing.

What is the output of 'makeinfo --version'?  If it is 4.10 or later...

David Daney