> > Then of course, the file, namely the man12 archive(of which I changed the
> > name to man12.tar.gz after having the same problem with the first name),
> > doesn't untar and leaves me frustrated. How can I solve this?
> 
> tar -xf man12.tar.gz --ungzip

Or tar -xzf man12.tar.gz   will do the same thing.

Take care,

Bill