On 2018-02-05 23:34:18 +0900, Norbert Preining wrote: > > In case this was not clear, I meant that in addition to the texinfo > > correction, something else needs to be done in another package, > > either in automake or in mpfr4, to that the right texinfo.tex file > > automake is the culprit. Shipping and ancient, pre-historic texinfo.tex > is simply wrong.
Yes. To fix the automake issue, I would see 2 possibilities: 1. The simpler solution: patch texinfo.tex there directly, but this can mean that it can be out-of-sync with texinfo. 2. The cleaner solution: provide a symlink to the texinfo.tex file from texinfo (like what it does fto use config.guess and config.sub from autotools-dev) and depend on texinfo. This would add a dependency but I suspect that most software that uses GNU Automake also uses Texinfo, so that in practice, this may not make a difference. -- 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)