On 30 Nov 2006, at 01:08, Tim Lahey wrote:
No,
I just checked and you're right. Plus, some things are still there that one wouldn't want. I did however find,
http://catdvi.sourceforge.net/
which is a DVI to plaintext translator. I don't know how well it works though.
Cheers,
Tim.
Well since most users are generating PDFs, it makes sense to use ps2ascii, instead.
Best, Mark