diff options
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 7d03c102921..69b56f467f5 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 |