2018-02-01 17:46 GMT+01:00 Angelo Graziosi <angelo.g0@libero.it>:

I don't want to install the texinfo package which would install a bunch of texlive packages (I already have TeXLive installed from its site...)

You should check if you will get that many dependencies on top of TeXLive.

Because with MSYS2, the makeinfo package installs nothing that would duplicate stuff in TeXLive.

Actually, I use TeXLive/w32 together with MSYS2 and its makeinfo package.

Fabrice