diff options
Diffstat (limited to 'man5/proc.5')
| -rw-r--r-- | man5/proc.5 | 18 |
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. |