Re: Compressed docs and man pages in Debian packages

1997-07-31 Thread E.L. Meijer \(Eric\)
> > 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: > >

Re: Compressed docs and man pages in Debian packages

1997-07-31 Thread E.L. Meijer \(Eric\)
> 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

Re: Compressed docs and man pages in Debian packages

1997-07-30 Thread Jim Pick
> 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

Compressed docs and man pages in Debian packages

1997-07-30 Thread Torsten Hilbrich
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 of these fi