Thanks, this is clear now. On Thu, Mar 8, 2018 at 8:33 PM, Hans-Bernhard Bröker <[email protected]> wrote:
> 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. > > -- I'm an FSF member -- Help us support software freedom! https://my.fsf.org/join
