aboutsummaryrefslogtreecommitdiffstats
path: root/man5
diff options
context:
space:
mode:
authorMichael Kerrisk <mtk.manpages@gmail.com>2016-06-20 13:21:07 +0200
committerMichael Kerrisk <mtk.manpages@gmail.com>2016-06-30 06:08:31 +0200
commite7fa660159cf98a08b67995a82ac251e14bef6b3 (patch)
tree11bbf450aa8e54813f7357f3c6c46f090da23d41 /man5
parentfa7ae0ea13844739ceec4126082716dbd798c8a6 (diff)
downloadman-pages-e7fa660159cf98a08b67995a82ac251e14bef6b3.tar.gz
proc.5: ffix + wfix
Signed-off-by: Michael Kerrisk <mtk.manpages@gmail.com>
Diffstat (limited to 'man5')
-rw-r--r--man5/proc.518
1 files changed, 11 insertions, 7 deletions
diff --git a/man5/proc.5 b/man5/proc.5
index 0dd61207c1..c72adbb6b7 100644
--- a/man5/proc.5
+++ b/man5/proc.5
@@ -1187,17 +1187,21 @@ super options: per-superblock options.
Currently, the possible optional fields are:
.RS 12
.TP 18
-shared:X
-mount is shared in peer group X
+.I shared:X
+This mount is shared in peer group.
+.IR X .
.TP
-master:X
-mount is slave to peer group X
+.I master:X
+This mount is slave to peer group
+.IR X .
.TP
propagate_from:X
-mount is slave and receives propagation from peer group X (*)
+This mount is a slave and receives propagation from peer group
+.IR X
+(*).
.TP
-unbindable
-mount is unbindable
+.I unbindable
+This mount is unbindable.
.RE
.IP
Parsers should ignore all unrecognized optional fields.