Re: gunzip: html40.pdf.gz: not in gzip format from Christoph Päper on 2004-02-16 (www-html-editor@w3.org from January to March 2004)

From: Christoph Päper <christoph.paeper@tu-clausthal.de>
Date: Mon, 16 Feb 2004 23:59:19 +0100
To: "Don Sutter" <drs@hevanet.com>
Cc: <www-html-editor@w3.org>
Message-ID: <031801c3f4e0$82a85f30$3ef4ae8b@heim4.tuclausthal.de>

*Don Sutter*:
>
> Is there something wrong with the HTML 4.01 PDF documentation "zip".

<http://www.w3.org/MarkUp/html4-updates/errata>

12.: Unzipping PDF/PS on Windows "There is no problem with the gzipped PDF
file. If you are having problems unzipping the file it may be that Windows has
already unzipped it for you during the download. In this case, simply remove
the ".gz" suffix from the file and view it with your PDF viewer."

Received on Monday, 16 February 2004 17:58:50 UTC