- From: Ian B. Jacobs <ij@w3.org>
- Date: Wed, 19 Sep 2001 09:37:20 -0400
- To: Tom Astin <tom@rainbow-software.com>
- CC: site-comments@w3.org
Tom Astin wrote: > > Hi W3, > > The following URL on your site: > > http://www.w3.org/TR/html4/ > > and > > http://www.w3.org/TR/html401/ > > have a link in the section near the top of the page called "This > version" which has a link for a GZip'ed PDF as follows: "gzip'ed PDF > file [963Kb]) " > > I downloaded the link and it appears not to be a GZIP file (even > though it's named .GZ) but in fact it's a PDF. I renamed it to be .PDF > and I can view it fine without unzipping it. This is because your browser has unzipped it on the fly. It's a browser bug that, even though it unzipped the file, it didn't rename it with a ".pdf" suffix. > FYI, thought you'd want to know. Thank you, - Ian -- Ian Jacobs (ij@w3.org) http://www.w3.org/People/Jacobs Tel: +1 718 260-9447
Received on Wednesday, 19 September 2001 09:37:44 UTC