On Sun, Oct 11, 2009 at 5:43 AM, Ian Martin <ian_martin65@xxxxxxxxxxxx> wrote: > Hi, > As above. I realise I'm probably being pedantic/obscure (and probably both) > looking for it... Hello Ian, This has recently been fixed as a result of another bug report. The change will be in man-pages-3.25. Cheers, Michael -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Author of "The Linux Programming Interface" http://blog.man7.org/ -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html