>
> This script does not work if the filename has a directory appended.
> Do you have a bug fix for this?
>
> I tend to agree with the original message that gzipped .dvi and
> .html are not a great idea.
>
> > zxdvi:
> >
> I just looked at the new packages in 1.3.1. I tried to installing
> jdk1.1 and find out that all the documentation provided by Sun (API,
> demos) are compressed.
>
> The same happens for other packages too. The dvi files which are part
> of teTeX package are compressed too. This makes reading
> I just looked at the new packages in 1.3.1. I tried to installing
> jdk1.1 and find out that all the documentation provided by Sun (API,
> demos) are compressed.
I did that because that was what the Debian policy called for. I wish
I hadn't. For the next release of the JDK (any day now, I ho
3 matches
Mail list logo
