diff options
author | Juanma Barranquero <[email protected]> | 2005-06-23 01:22:28 +0000 |
---|---|---|
committer | Juanma Barranquero <[email protected]> | 2005-06-23 01:22:28 +0000 |
commit | d81dbd54dd4207fa8e0f1ed65153aa241b49a89d (patch) | |
tree | ad4d4283a30ac00b6f75c5ed8fa98c3c08394f62 /man/building.texi | |
parent | 56d495a3e2a7a753baa5792866eddd4772f2f027 (diff) |
(Grep Searching): Texinfo usage fix.
Diffstat (limited to 'man/building.texi')
-rw-r--r-- | man/building.texi | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/man/building.texi b/man/building.texi index 7d03c10292..69b56f467f 100644 --- 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 |