Thanks. Applied! On Mon, Feb 4, 2013 at 10:06 PM, D. Barbier <bouzim@xxxxxxxxx> wrote: > --- > man2/prctl.2 | 1 - > 1 file changed, 1 deletion(-) > > diff --git a/man2/prctl.2 b/man2/prctl.2 > index 36fdc14..f139c5f 100644 > --- a/man2/prctl.2 > +++ b/man2/prctl.2 > @@ -833,7 +833,6 @@ is not 0, > .BR PR_SET_PTRACER_ANY , > or the PID of an existing process. > .TP > -TP > .B EPERM > .I option > is -- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Author of "The Linux Programming Interface"; http://man7.org/tlpi/ -- 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