Whenever I do repairs, it always says: /usr/share/man: /usr/local/man: No such file or directory But that is not true, as far as I can see......both are there. What gives? Nothing is wrong but it just makes me wonder.