I found some man files in the reduce distribution -- is it necessary to gzip them before destroot? ### -Mark