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.