blob: 8b32dd2984d7ea88e64bf82405e4669754623758 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- doc/grep.1.orig 2004-08-20 09:28:45.857442048 +0100
+++ doc/grep.1 2004-08-20 09:27:20.959348520 +0100
@@ -303,7 +303,7 @@
This is especially useful for tools like zgrep, e.g.
.B "gzip -cd foo.gz |grep --label=foo something"
.TP
-.BR \-\^\-line-buffering
+.BR \-\^\-line-buffered
Use line buffering, it can be a performance penality.
.TP
.BR \-q ", " \-\^\-quiet ", " \-\^\-silent
|