On 08/07/2016 08:47 PM, Jakub Wilk wrote:
Signed-off-by: Jakub Wilk <jwilk@xxxxxxxxx>
Thanks, Jakub! Patch applied. Cheers, Michael
--- man5/proc.5 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/man5/proc.5 b/man5/proc.5 index 351c33b..8fa4aa3 100644 --- a/man5/proc.5 +++ b/man5/proc.5 @@ -2359,7 +2359,7 @@ Until Linux 4.2, the presence of this file was governed by the kernel configuration option. Since Linux 4.2, .\" commit 2e13ba54a2682eea24918b87ad3edf70c2cf085b -it it is governed by the +it is governed by the .B CONFIG_PROC_CHILDREN option. .TP
-- Michael Kerrisk Linux man-pages maintainer; http://www.kernel.org/doc/man-pages/ Linux/UNIX System Programming Training: http://man7.org/training/ -- 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
