From 8ff8307fd60a238c620ffdbec3d94792c1de6cf0 Mon Sep 17 00:00:00 2001 From: Antonio Diaz Diaz Date: Wed, 16 Nov 2022 00:25:39 +0100 Subject: [PATCH 1/3] doc: remove redundant @deffnx for option -files0-from from manual * doc/find.texi (section Starting points): Remove @deffnx; the @deffn above it is sufficient. Copyright-paperwork-exempt: Yes --- doc/find.texi | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/find.texi b/doc/find.texi index 1f295837..379fe646 100644 --- a/doc/find.texi +++ b/doc/find.texi @@ -386,7 +386,6 @@ Alternatively, it is generally safe though non-portable to use the GNU option @samp{-files0-from} to pass arbitrary starting points to @code{find}. @deffn Option -files0-from file -@deffnx Option -files0-from file Read the starting points from @file{file} instead of getting them on the command line. -- 2.38.1