After installing texinfo-4.13: texi2pdf pretends that it is texi2dvi.
    ...
    Likewise, "texi2pdf --help" outputs the help of texi2dvi.

I'll see what I can do.


Reply via email to