|
From: | Wensheng Xie |
Subject: | Re: Error: texi2dvi texinfo.info |
Date: | Fri, 9 Mar 2018 10:43:51 +0800 |
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.
[Prev in Thread] | Current Thread | [Next in Thread] |