Re: Unix man pages updated for Lua 5.2

[Craig Barnes <craigbarnes85@...>]

On 22 June 2012 07:06, Ico <lua@zevv.nl> wrote:
> * On Fri Jun 22 03:49:15 +0200 2012, Craig Barnes wrote:
>> By the way, your archives are using the ".tgz" extension but they're
>> not gzipped. "tar xf" works but "tar xzf" gives the error "gzip:
>> stdin: not in gzip format".
>
> Could it be that your browser already decompressed the tar file for you?
>

Yup, my bad. I just tried with wget and it works fine. It seems like
the server is on-the-fly gzipping an already gzipped file, which my
browser then automatically unzips according to the headers:

Content-Encoding:gzip
Content-Length:31874
Content-Type:application/x-tar