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

Re: Problems by extrakting html40.pdf.gz!

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.

Masayasu Ishikawa / mimasa@w3.org
W3C - World Wide Web Consortium
Received on Wednesday, 24 January 2001 08:38:40 UTC

This archive was generated by hypermail 2.3.1 : Friday, 13 July 2018 08:58:42 UTC