Using man--1.5k-2 from rawhide options entered in /etc/man.config have no effect whereas /usr/share/misc/man.config controls the configuration. If this is a permanent change /etc/man.config should be removed from the package.
No, the one in /misc is wrong. Will fix.
fixed in man-1.5k-5
An errata has been issued which should help the problem described in this bug report. This report is therefore being closed with a resolution of ERRATA. For more information on the solution and/or where to find the updated files, please follow the link below. You may reopen this bug report if the solution does not work for you. http://rhn.redhat.com/errata/RHSA-2003-134.html