Ugh, I don't think we actually install man pages currently (at least, my system doesn't appear to have any installed and I've installed many times). -- Sean Silva