tree 965138d0a9fcad5f0c23fecf8a26346126e0bb10
parent 50b03b04c06f44be0d09bcc2b56723e8de985d9a
author Manlio Perillo <manlio.perillo@gmail.com> 1355421439 +0100
committer Junio C Hamano <gitster@pobox.com> 1355424841 -0800

git.txt: add missing info about --git-dir command-line option

Unlike other environment variables (e.g. GIT_WORK_TREE,	GIT_NAMESPACE),
the Documentation/git.txt file did not mention that the GIT_DIR
environment variable can also be set using the --git-dir command line
option.

Signed-off-by: Manlio Perillo <manlio.perillo@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>