On 19/01/2011 21:50, David Daney wrote: > 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... oaina@temp2:~$ makeinfo --version makeinfo (GNU texinfo) 4.13