For what it's worth, the Bugzilla link above seems to be to the wrong bug ...
Anyway, I put together a patch for this, which is almost working. I seem to have done something slightly wrong, though. Whenever I open a manual page with this patch, I get a "Page not found" error, saying "The requested page was not found in the document /usr/share/man/man1/chgrp.1.gz" (for example); but it then goes ahead and displays the page correctly anyway! What have I done wrong?
For what it's worth, the Bugzilla link above seems to be to the wrong bug ...
Anyway, I put together a patch for this, which is almost working. I seem to have done something slightly wrong, though. Whenever I open a manual page with this patch, I get a "Page not found" error, saying "The requested page was not found in the document /usr/share/ man/man1/ chgrp.1. gz" (for example); but it then goes ahead and displays the page correctly anyway! What have I done wrong?