]> git.ipfire.org Git - thirdparty/coreutils.git/commitdiff
*** empty log message ***
authorJim Meyering <jim@meyering.net>
Fri, 30 Jul 1999 21:03:35 +0000 (21:03 +0000)
committerJim Meyering <jim@meyering.net>
Fri, 30 Jul 1999 21:03:35 +0000 (21:03 +0000)
doc/textutils.texi

index d242683835142c65b5b45da2437a4924deb2a41d..748160cedcfc123505de1569be168847d5ac34fe 100644 (file)
@@ -1540,7 +1540,7 @@ build completes.  Without this option, you would have had to kill the
 @example
 make >& makerr & tail --pid=$! -f makerr
 @end example
-If you specify a valid @var{pid} that is not in use or that does not
+If you specify a @var{pid} that is not in use or that does not
 correspond to the process that is writing to the tailed files, then
 @code{tail} may terminate long before any @var{file}s stop growing
 or it may not terminate until long after the real writer process has