[PATCH] Improve description of --label

[Paolo Bonzini]

Fixes bug 22681.

* doc/grep.1 (--label): Use -H in the example, improve wording.
* doc/grep.texi (Output Line Prefix Control): Likewise.
---
 doc/grep.1    |    4 ++--
 doc/grep.texi |    8 ++++----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/doc/grep.1 b/doc/grep.1
index 950b82c..c0ea754 100644
--- a/doc/grep.1
+++ b/doc/grep.1
@@ -314,10 +314,10 @@ This is the default when there is only one file
 .BI \-\^\-label= LABEL
 Display input actually coming from standard input as input coming from file
 .I LABEL.
-This is especially useful for tools like
+This is especially useful when implementing tools like
 .BR zgrep ,
 e.g.,
-.B "gzip -cd foo.gz | grep --label=foo something"
+.B "gzip -cd foo.gz | grep --label=foo -H something"
 .TP
 .BR \-n ", " \-\^\-line\-number
 Prefix each line of output with the 1-based line number
diff --git a/doc/grep.texi b/doc/grep.texi
index 2714c58..a4a87f6 100644
--- a/doc/grep.texi
+++ b/doc/grep.texi
@@ -414,12 +414,12 @@ This is the default when there is only one file
 @opindex --label
 @cindex changing name of standard input
 Display input actually coming from standard input
-as input coming from file @var{LABEL}.
-This is especially useful for tools like @command{zgrep};
-e.g.:
+as input coming from file @var{LABEL}.  This is
+especially useful when implementing tools like
address@hidden; e.g.:
 
 @example
-gzip -cd foo.gz | grep --label=foo something
+gzip -cd foo.gz | grep --label=foo -H something
 @end example
 
 @item -n
-- 
1.6.5.2