Finding man files: CVS or RPM repositories?