(Grep Searching): Texinfo usage fix.

diff --git a/man/building.texi b/man/building.texi
index 7d03c102921e0f564c2dabfb6fa19602f920e207..69b56f467f5f22abdc651e70aa7312176c249c24 100644 (file)
--- a/man/building.texi
+++ b/man/building.texi
@@ -344,9 +344,9 @@ can find the corresponding lines in the original files using @kbd{C-x
 
   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