builtin-grep: use external grep when we can take advantage of it

diff --git a/Documentation/git-shell.txt b/Documentation/git-shell.txt
index 3f4d804cca390980977dbf76cbe20792b6561f5b..cc4266d83b529cd6f3d9446064cde37d89e7ad41 100644 (file)
--- a/Documentation/git-shell.txt
+++ b/Documentation/git-shell.txt
@@ -8,7 +8,7 @@ git-shell - Restricted login shell for GIT over SSH only
 
 SYNOPSIS
 --------
-'git-shell -c <command> <argument>'
+'git-shell' -c <command> <argument>
 
 DESCRIPTION
 -----------