diff options
| -rw-r--r-- | doc/coreutils.texi | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/coreutils.texi b/doc/coreutils.texi index fd0129063..5cd73b845 100644 --- a/doc/coreutils.texi +++ b/doc/coreutils.texi @@ -4278,11 +4278,6 @@ never be taken as keywords in concordance output. It is called the end of line separation of words is not subject to the value of the @option{-S} option. -There is a default Ignore file used by @command{ptx} when this option is -not specified, usually found in @file{/usr/local/lib/eign} if this has -not been changed at installation time. If you want to deactivate the -default Ignore file, specify @code{/dev/null} instead. - @item -o @var{file} @itemx --only-file=@var{file} |