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