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-9447Received on Tuesday, 7 October 2003 04:17:43 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:23:07 GMT