Hi, I've stumbled upon this bugreport, and I'd like to give some input. PTEX dvi files aren't really dvi files, they are extended dvi files with incompatible data format, and thus require special xdvi to handle them.
regards,
junichi
--
[EMAIL PROTECTED],netfort.gr.jp} Debian Project
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
