Re: Error: texi2dvi texinfo.info

[Hans-Bernhard Bröker]

Am 08.03.2018 um 07:43 schrieb Wensheng Xie:

Dear Texinfo team:

texi2dvi should take an input file in info format and output a dvi file, shouldn't it?

No, it should not.  If it did, it would most likely be called info2dvi.