diff options
author | Jim Meyering <jim@meyering.net> | 2006-04-17 23:14:45 +0000 |
---|---|---|
committer | Jim Meyering <jim@meyering.net> | 2006-04-17 23:14:45 +0000 |
commit | 0c13c770e3968ec50c337910b60bbca62980ffa2 (patch) | |
tree | 61dded09d6fb6204ce387c8adc5481f5d96f481e /doc | |
parent | 58fab286705aa68e32ff89cbe0dbce2d10c75d06 (diff) | |
download | coreutils-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.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} |