Re: GZIP files

On Mon, 2003-10-06 at 18:01, Maurits Stoffels wrote:
> I would like to decompress the file 
>  
> http://www.w3.org/TR/html401/html40.pdf.gz
>  
> I downloaded some stuff from the www.gzip.org site, but I can't figure
> out how to use it.
>  
> Could you give me some help, please?

Your browser undoubtedly unzipped it on the fly. Try
reading it directly with your PDF reader.

 - Ian
-- 
Ian Jacobs (ij@w3.org)   http://www.w3.org/People/Jacobs
Tel:                     +1 718 260-9447