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

From: Masayasu Ishikawa <mimasa@w3.org>
Date: Wed, 24 Jan 2001 22:39:34 +0900
To: beo@DMU.dk
Cc: www-html-editor@w3.org
Message-Id: <20010124223934R.mimasa@w3.mag.keio.ac.jp>

beo@DMU.dk wrote:

> I can't extract the html40.pdf.gz downloaded from
> http://www.w3.org/TR/html4/ !
> I have tried severel applikations WinZip,  Arj, 7-zip, PowerArchiver - but
> without any result.

I guess you used Internet Explorer to download "html40.pdf.gz".  IE
seems to decode gzip'd file on the fly while downloading.  If the
size of your downloaded file is about 3MB rather than 963KB, that
would be the case.  In that case, just rename "html40.pdf.gz" with
"html40.pdf", and it should work.

Regards,
-- 
Masayasu Ishikawa / mimasa@w3.org
W3C - World Wide Web Consortium

Received on Wednesday, 24 January 2001 08:38:40 UTC