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)
