From d3e64d6e1f905cd67264845c38b38fc6d1bdb088 Mon Sep 17 00:00:00 2001
From: Tavian Barnes <tavianator@tavianator.com>
Date: Thu, 4 Jul 2019 17:07:50 -0400
Subject: Make -mount and -xdev do different things

POSIX now says -mount should skip the whole mount point, while -xdev
should only skip its descendents.

C.f. http://austingroupbugs.net/view.php?id=1133
C.f. https://savannah.gnu.org/bugs/?42318
C.f. https://savannah.gnu.org/bugs/?54745
---
 bfs.1 | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'bfs.1')

diff --git a/bfs.1 b/bfs.1
index 3f6ad50..277aeb7 100644
--- a/bfs.1
+++ b/bfs.1
@@ -244,13 +244,12 @@ detects that the file tree is modified during the search (default:
 Ignore files deeper/shallower than
 .IR N .
 .RE
-.PP
+.TP
 .B \-mount
-.br
+Skip mount points entirely.
+.TP
 .B \-xdev
-.RS
 Don't descend into other mount points.
-.RE
 .TP
 .B \-noleaf
 Ignored; for compatibility with GNU find.
-- 
cgit v1.2.3