Re: Gzipped .dvi files?
Carey Evans <email@example.com> writes:
> This won't work, because xdvi needs random access to the file, and
> fails when it tries to seek on the pipe bash passes to it.
Didn't realize that. I stand corrected. I guess I should try these
things first :>
Rob Browning <firstname.lastname@example.org>
PGP fingerprint = E8 0E 0D 04 F5 21 A0 94 53 2B 97 F5 D6 4E 39 30
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
Trouble? e-mail to email@example.com .