W3C home > Mailing lists > Public > www-html-editor@w3.org > January to March 2001

Re: Problems by extrakting html40.pdf.gz!

From: Dave Raggett <dsr@w3.org>
Date: Thu, 25 Jan 2001 12:21:16 +0000 (GMT Standard Time)
To: beo@DMU.dk
cc: www-html-editor@w3.org
Message-ID: <Pine.WNT.4.10.10101251219580.-45002057-100000@hazel.phone.com>
On Wed, 24 Jan 2001 beo@DMU.dk wrote:

> I can't extract the html40.pdf.gz downloaded from
> http://www.w3.org/TR/html4/ !

Sorry about this. The problem is likely to be that your
browser is silently decompressing the file, but keeping
the old file extension in the save as dialog. Try
renaming the saved file to html40.pdf

Regards,

-- Dave Raggett <dsr@w3.org> or <dave.raggett@openwave.com>
W3C Visiting Fellow, see http://www.w3.org/People/Raggett 
tel/fax: +44 122 578 3011 (or 2521) +44 771 213 7629 (mobile)
Received on Thursday, 25 January 2001 07:21:21 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 27 March 2012 18:16:53 GMT