On 2018-02-05 22:42:55 +0900, Norbert Preining wrote: > Hi Vincent, > > I cannot add much to your email, all correct. > > > > I assume texinfo's version of texinfo.tex is too old as well for the > > > mpfr4 build, > > > > Probably, but maybe for a different reason. The current version > > from the texinfo package does not support @var in exponent or > > subscript as it yields a "\scriptfont 5 is undefined" error: > > Indeed. That is fixed (partially) in the current SVN version, and an > updated texinfo files can be downloaded from the fnu server. > > If you think it is worth it, I can patch the texinfo package to update > texinfo.tex > -\def\texinfoversion{2017-08-23.19} > +\def\texinfoversion{2018-01-09.11}
I think that there are 2 possible solutions: 1. Make sure that the texinfo.tex provided in the tarball is used (I wonder why it gets replaced, this should be unnecessary, just like things such as autoreconf). 2. Patch the texinfo package using the texinfo.tex file from the GNU FTP site. After all, the error with @var in exponent is a bug in texinfo, which can affect developers of any software that would use a @var in exponent. The patch could probably be dropped when the next upstream texinfo is released. But in case of (2), you need to make sure that this texinfo.tex file is taken into account, not the obsolete one from automake. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)