(Input processing in ptx): Remove mention of the

default --ignore file, /usr/local/lib/eign.  That file has never been used.
Reported by Eric Blake.

diff --git a/doc/coreutils.texi b/doc/coreutils.texi
index fd0129063d4362757a59164ea0b96a4eab77d166..5cd73b845b476f08d3a83623a30c5e83f3491d3a 100644 (file)
--- 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}