Hi Peter,
I reckon that is because those builds run on Ubuntu Precise, which has
only makeinfo version 4.13
I can't help but mention that 4.13 was released in 2008. I can easily
understand plenty of users still using it, but as a developer, you could
just install the current texinfo you
Hi Karl,
> As a developer, you could just install the current texinfo yourself,
> instead of living with what the distro decides to give you.
I suppose you are right. Normally, I wouldn't bother with ancient
software like that, but in this particular case it's not easy for me to
replace makeinf
