W3C home > Mailing lists > Public > site-comments@w3.org > September 2001

Re: Incorrect file name/description?

From: Ian B. Jacobs <ij@w3.org>
Date: Wed, 19 Sep 2001 09:37:20 -0400
Message-ID: <3BA89F90.5A9BD907@w3.org>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 24 October 2012 16:21:26 GMT