mirror of
git://git.sv.gnu.org/coreutils.git
synced 2026-04-05 03:37:22 +02:00
(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.
This commit is contained in:
@@ -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}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user