summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorJim Meyering <jim@meyering.net>2006-04-17 23:14:45 +0000
committerJim Meyering <jim@meyering.net>2006-04-17 23:14:45 +0000
commit0c13c770e3968ec50c337910b60bbca62980ffa2 (patch)
tree61dded09d6fb6204ce387c8adc5481f5d96f481e /doc
parent58fab286705aa68e32ff89cbe0dbce2d10c75d06 (diff)
downloadcoreutils-0c13c770e3968ec50c337910b60bbca62980ffa2.tar.xz
(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.
Diffstat (limited to 'doc')
-rw-r--r--doc/coreutils.texi5
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}