>|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). Several options: dvi2tty ps2ascii, pstotext (after dvips) Bob T.