[texhax] dvi to text

David Niklas doark at mail.com
Fri Oct 16 05:56:55 CEST 2015


> Several options:
> 
> dvi2tty

Thanks, I was thinking asci or txt not tty.


More information about the texhax mailing list