Le 11/03/2016 16:15, Treutwein Bernhard a écrit :
... $ makeinfo --version texi2any (GNU texinfo) 6.0
[...]
... makeinfo/texinfo no later than version 4.
that should not be big problem. I'll try it on Monday ...
If you plan to revert to a 4.x version of makeinfo, please read the following discussion
http://www.g-n-u.de/pipermail/gpc/2012-August/015142.html http://www.g-n-u.de/pipermail/gpc/2012-August/015143.html
I have used successfully the second solution on various systems.
Maurice