Bug#66947: Why xdvi cannot handle .gz/.bz2 dvi files ?
On Tue, Jul 11, 2000 at 12:22:42AM +0900, GOTO Masanori wrote:
> At Sun, 9 Jul 2000 09:14:00 +0100,
[...]
> Below patch avoids the problem?
No. what happens if you have an option which maps to any file in your
working directory?
The only reasonable solution is to check whether the last argument is a
filename. And even this option is broken, you may want to call
xdvi -fg white -bg black
without filename, but it will fail if you have a file called `black'.
If you want to display compressed DVI files, you may try texdoc.
Denis
Reply to: