Ahmed,
The servers report a MIME type of "application/pdf" for the
files (gpbb*.pdf.gz). Internet Explorer decompresses them on
the fly, but doesn't change the extension of the saved
files. So you end up with PDFs with a ".pdf.gz" extension.
Navigator and GNU wget get it right. Use them instead (or
rename your files).
Mona Wong wrote:
>
> Hi Ahmed:
>
> > I downloaded all the .gz files but winzip or gzip doesnt seem to be
> decompressing the files. are they the right format??
>
> My UNIX gunzip worked fine.
>
> Mona
--
John Pallister
[EMAIL PROTECTED]
===========================================================================
To unsubscribe, send email to [EMAIL PROTECTED] and include in the body
of the message "signoff JAVA3D-INTEREST". For general help, send email to
[EMAIL PROTECTED] and include in the body of the message "help".
