environ: simplify description of GIT_INDEX_FILE

Signed-off-by: Junio C Hamano <gitster@pobox.com>

diff --git a/Documentation/git.txt b/Documentation/git.txt
index 8159a4b3a4248ebaafde6d539637edbb660df635..e173c47f38d11f9b15dc18a16c1676232eaf33ed 100644 (file)
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -455,7 +455,7 @@ is worth noting that they may be used/overridden by SCMS sitting above
 Git so take care if using a foreign front-end.
 
 `GIT_INDEX_FILE`::
-       This environment allows the specification of an alternate
+       This environment variable specifies an alternate
        index file. If not specified, the default of `$GIT_DIR/index`
        is used.