Thanks, Benno.  Please run `man -a man|gzip -c >out' and send me the
resulting file.

Regards,
Sergey


Reply via email to