[texhax] dvi to text

David Niklas doark at mail.com
Wed Oct 14 14:37:45 CEST 2015

This is probably a dumb question, but I can't for the life of me
remember how to turn a dvi file to plain text (txt). I tried reading
some of the docs, but I'm not getting anywhere. I know their is a CLI
program for this some place.

Thanks, David

More information about the texhax mailing list