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

Re: gunzip: html40.pdf.gz: not in gzip format

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

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


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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:08:51 UTC