diff options
| -rw-r--r-- | man/maintaining.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/maintaining.texi b/man/maintaining.texi index 5de61df9d39..2af47f6ecaf 100644 --- a/man/maintaining.texi +++ b/man/maintaining.texi | |||
| @@ -849,7 +849,7 @@ continue to exist. | |||
| 849 | Emacs and have Emacs show you the matching lines one by one. This works | 849 | Emacs and have Emacs show you the matching lines one by one. This works |
| 850 | much like running a compilation; finding the source locations of the | 850 | much like running a compilation; finding the source locations of the |
| 851 | @code{grep} matches works like finding the compilation errors. | 851 | @code{grep} matches works like finding the compilation errors. |
| 852 | @xref{Compilation}. | 852 | @xref{Grep Searching}. |
| 853 | 853 | ||
| 854 | @node List Tags | 854 | @node List Tags |
| 855 | @subsection Tags Table Inquiries | 855 | @subsection Tags Table Inquiries |