# HG changeset patch
# User Juanma Barranquero <lekktu@gmail.com>
# Date 1119489748 0
# Node ID e5e25d9c7335e823517190425e0f09f99c944e45
# Parent  0f1e07e44d2d3eebb1fad2c77e60737db51ea962
(Grep Searching): Texinfo usage fix.

diff -r 0f1e07e44d2d -r e5e25d9c7335 man/building.texi
--- 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