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

diff --git a/Documentation/tutorial.txt b/Documentation/tutorial.txt
index 66680d76bd8bc196bbbfdf98923b6be6354dea0d..fa79b016c77a7f37ae1e289eb42bb008174eda81 100644 (file)
--- a/Documentation/tutorial.txt
+++ b/Documentation/tutorial.txt
@@ -309,7 +309,7 @@ git diff HEAD^^ HEAD^
 -------------------------------------
 
 shows the difference between that previous state and the state two
-commits ago.  Also, HEAD~5 can be used as a shorthand for HEAD^^^^^,
+commits ago.  Also, HEAD~5 can be used as a shorthand for HEAD{caret}{caret}{caret}{caret}{caret},
 and more generally HEAD~n can refer to the nth previous commit.
 Commits representing merges have more than one parent, and you can
 specify which parent to follow in that case; see