Re: Problems by extrakting html40.pdf.gz! from Dave Raggett on 2001-01-25 (www-html-editor@w3.org from January to March 2001)

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 UTC