Thanks for your patch however it is a patch of the generated man page and not the xml that is the source of the manpage. I've created a proper patch and attached it to this bug report.
Thanks for your patch however it is a patch of the generated man page and not the xml that is the source of the manpage. I've created a proper patch and attached it to this bug report.