Ignore man/, which some pip dists use.