I'd looked at man.config, and it looks OK:
[root@e-smith dan]# cat /etc/man.config
MANPATH /usr/local/rav8/man:/usr/share/man:/usr/man:/usr/local/man
[root@e-smith dan]#
I'd also tried reinstalling man, but only with rpm -Uvh --force (I didn't remove it first). After removing, and then reinstalling, it seems to work. It's sometimes the simple things that get you...
Now that it's reinstalled, I see a lot of stuff that had been missing from man.config--wonder what caused that. Thanks for the help!