Upstream updated the texinfo.tex file. From the changelog file of
automake 1:1.16.1-4 :
2018-03-11 Mathieu Lirzin <m...@gnu.org>
maint: Update files from upstream with 'make fetch'
* lib/config.guess: Update.
* lib/config.sub: Likewise.
* lib/gendocs.sh: Likewise.
* lib/gitlog-to-changelog: Likewise.
* lib/gnupload: Likewise.
* lib/texinfo.tex: Likewise.
* lib/update-copyright: Likewise.
So the texinfo.tex file is no longer outdated. But I could check
that automake still installs the version it distributes, which
could yield a similar issue in the future (having different
versions in makeinfo and automake may also bring confusion).
I also think that this bug could be merged with bug 882844, which
is about the same issue.
--
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)
