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

• From: Don Sutter <drs@hevanet.com>
• Date: Mon, 16 Feb 2004 14:38:59 -0700
• To: <www-html-editor@w3.org>
• Message-ID: <006a01c3f4d5$4a1d4730$11fea8c0@drs>

Is there something wrong with the HTML 4.01 PDF documentation "zip".  Everything here indicates a bad gzip...

Received on Monday, 16 February 2004 16:40:25 UTC