Hello, I propose the following patch (attached) so that one can have the makeinfo program somehow made pointing at texi2any. motivation: - makeinfo (C based) is no longer maintained, so sooner or later we will have to allow manual compilation with texi2any - texi2any command line is a superset of makeinfo, so there may be installations where calling makeinfo actually calls texi2any (or any other tricks like setting MAKEINFO to texi2any before calling configure --- e.g., at least on my machine, makeinfo.exe is some wrapper that calls texi2any under the hood. - I think that texi2any versioning commences at 5.0 --- maybe Karl or Patrice can confirm, so I think that the test on version number in the attached patch would be valid. If people agree I can do the change. VBR, Vincent.