diff options
| author | Antonio Diaz Diaz <antonio@gnu.org> | 2022-11-16 00:25:39 +0100 |
|---|---|---|
| committer | Bernhard Voelker <mail@bernhard-voelker.de> | 2022-11-16 00:27:06 +0100 |
| commit | 8ff8307fd60a238c620ffdbec3d94792c1de6cf0 (patch) | |
| tree | 08de061a396881e5651bd081ecb2de9acac5aee1 | |
| parent | 3657b73ecb92036d7a2bff8ee6dfadc63323bae1 (diff) | |
| download | findutils-8ff8307fd60a238c620ffdbec3d94792c1de6cf0.tar.gz | |
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
| -rw-r--r-- | doc/find.texi | 1 |
1 files changed, 0 insertions, 1 deletions
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. |