git: 13260385b0 - main - Point people to git-grep's man page directly.

[Mathieu Arnold]

The branch main has been updated by mat:

URL: https://cgit.FreeBSD.org/doc/commit/?id=13260385b0591a4eee0de0dd1ce47fc411653252

commit 13260385b0591a4eee0de0dd1ce47fc411653252
Author:     Mathieu Arnold <mat at FreeBSD.org>
AuthorDate: 2021-05-10 08:16:11 +0000
Commit:     Mathieu Arnold <mat at FreeBSD.org>
CommitDate: 2021-05-10 08:18:56 +0000

    Point people to git-grep's man page directly.
    
    As we are talking about the tool and not an exact command to use, it
    feels more helpfull to give a link to the man page.
---
 documentation/content/en/articles/committers-guide/_index.adoc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/documentation/content/en/articles/committers-guide/_index.adoc b/documentation/content/en/articles/committers-guide/_index.adoc
index 90a7d46e19..9930532c42 100644
--- a/documentation/content/en/articles/committers-guide/_index.adoc
+++ b/documentation/content/en/articles/committers-guide/_index.adoc
@@ -3479,7 +3479,7 @@ First, please read the section about repository copies. Before you remove the po
 +
 [TIP]
 ====
-When using Git, consider using `git grep`, it is much faster than `grep -r`.
+When using Git, consider using man:git-grep[1], it is much faster than `grep -r`.
 ====
 +
 * Then, remove the port:
@@ -3502,7 +3502,7 @@ When sending questions about this script to the {freebsd-ports}, please also CC
 
 [.procedure]
 ====
-. Perform a thorough check of the ports collection for any dependencies on the old port location/name, and update them. Running `grep` on [.filename]#INDEX# is not enough because some ports have dependencies enabled by compile-time options. A full `git grep` of the ports collection is recommended.
+. Perform a thorough check of the ports collection for any dependencies on the old port location/name, and update them. Running `grep` on [.filename]#INDEX# is not enough because some ports have dependencies enabled by compile-time options. A full man:git-grep[1] of the ports collection is recommended.
 . Remove the `SUBDIR` entry from the old category Makefile and add a `SUBDIR` entry to the new category Makefile.
 . Add an entry to [.filename]#ports/MOVED#.
 . Move the port with `git mv`.