builtin/grep: add grep.fallbackToNoIndex config

diff --git a/Documentation/git-grep.txt b/Documentation/git-grep.txt
index 31811f16bdaac49d01d38dcdea82bb191942b1cf..1090ebcd2afd2de6193f23225ecca1146496d1a0 100644 (file)
--- a/Documentation/git-grep.txt
+++ b/Documentation/git-grep.txt
@@ -56,6 +56,10 @@ grep.extendedRegexp::
 grep.fullName::
        If set to true, enable '--full-name' option by default.
 
+grep.fallbackToNoIndex::
+       If set to true, fall back to git grep --no-index if git grep
+       is executed outside of a git repository.  Defaults to false.
+
 
 OPTIONS
 -------