changeset 63678:e5e25d9c7335

(Grep Searching): Texinfo usage fix.
author Juanma Barranquero <lekktu@gmail.com>
date Thu, 23 Jun 2005 01:22:28 +0000
parents 0f1e07e44d2d
children deead44b63f9
files man/building.texi
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/man/building.texi	Thu Jun 23 01:21:38 2005 +0000
+++ b/man/building.texi	Thu Jun 23 01:22:28 2005 +0000
@@ -344,9 +344,9 @@
 
   Some grep programs accept a @samp{--color} option to output special
 markers around matches for the purpose of highlighting.  You can make
-use of this feature by setting @code{grep-highlight-matches} to t.
-When displaying a match in the source buffer, the exact match will be
-highlighted, instead of the entire source line.
+use of this feature by setting @code{grep-highlight-matches} to
+@code{t}.  When displaying a match in the source buffer, the exact
+match will be highlighted, instead of the entire source line.
 
 @findex grep-find
 @findex find-grep