On 07/11/11 05:38, Joachim Schmitz wrote: > Could this due to makeinfo being too old?
Yes, that's it. texinfo 4.2 is ancient. You shouldn't need to run makeinfo unless you're changing the manual, because makeinfo's output is part of the coreutils tarball. If you are updating the manual, please upgrade to the current version, which is 4.13. If you ran makeinfo despite not changing the manual, then that's a bug in the tarball that we'd need to fix.
