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, Karl