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 aren't installed...
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.