[texhax] dvi to text

Karl Berry karl at freefriends.org
Wed Oct 14 23:42:15 CEST 2015

    remember how to turn a dvi file to plain text (txt). 

Besides the ones Bob mentioned, another method that I've used more or
less successfully is to make a pdf, and then run pdftotext (from the
xpdf tools).  (I realize you specifically asked about dvi, but there is
dvipdfmx to get to PDF from DVI...)

Hope this helps,

More information about the texhax mailing list