The /etc/man.config file should know about these mappings:
MANPATH_MAP /usr/kerberos/bin /usr/kerberos/man
MANPATH_MAP /usr/kerberos/sbin /usr/kerberos/man
These additions shouldn't hurt anything, even if the Kerberos packages
Thanks, done in 1.5h1-2 (rawhide)
Along the same lines, some non-Redhat-created RPM's store manpages in
/usr/share/man. Adding this man.config wouldn't probably hurt.