I see that the texinfo.tex version in automake is from 2013, and is definitely too old for the mpfr4 build. Could that copy be kept in sync with texinfo? I assume texinfo's version of texinfo.tex is too old as well for the mpfr4 build, so maybe Vincent could provide a patch to update texinfo's version? Thanks, Matthias