mount_namespaces.7: Use correctly the terms "mount" and "mount point"

On Sun, Nov 17, 2024 at 16:12:24 +0100, Michael Kerrisk wrote:
>
> A "mount" is a tuple consisting of:
> * a mount ID
> * a source (e.g., a device)
> * a target or "mount point" (i.e. a path name)
> * the ID of the parent of this mount
> * other stuff (e.g., options)

Reported-by: Helge Kreutzmann <debian@helgefjell.de>
Cc: Jakub Wilk <jwilk@jwilk.net>
Acked-by: "Michael T. Kerrisk" <mtk.manpages@gmail.com>
Signed-off-by: Alejandro Colomar <alx@kernel.org>

diff --git a/man/man7/mount_namespaces.7 b/man/man7/mount_namespaces.7
index 75ccfc80d03b8013d3ccfe3a9fabf96feec9fa94..a1645e9e27c12241900cc5dfc3c10c5aeecf6fab 100644 (file)
--- a/man/man7/mount_namespaces.7
+++ b/man/man7/mount_namespaces.7
@@ -985,8 +985,9 @@ Linux 2.4.19.
 .SH NOTES
 The propagation type assigned to a new mount depends
 on the propagation type of the parent mount.
-If the mount has a parent (i.e., it is a non-root mount
-point) and the propagation type of the parent is
+If the mount has a parent
+(i.e., it is a non-root mount)
+and the propagation type of the parent is
 .BR MS_SHARED ,
 then the propagation type of the new mount is also
 .BR MS_SHARED .