Add an option to specify a file to config builtin

diff --git a/Documentation/git-rev-parse.txt b/Documentation/git-rev-parse.txt
index 87771b832bdc71a9b18535f0ab21e68478891e46..eea9c9cfe9ec9320b328c37eefb6c7100edab913 100644 (file)
--- a/Documentation/git-rev-parse.txt
+++ b/Documentation/git-rev-parse.txt
@@ -90,8 +90,15 @@ OPTIONS
        Show `$GIT_DIR` if defined else show the path to the .git directory.
 
 --is-inside-git-dir::
-       Return "true" if we are in the git directory, otherwise "false".
-       Some commands require to be run in a working directory.
+       When the current working directory is below the repository
+       directory print "true", otherwise "false".
+
+--is-inside-work-tree::
+       When the current working directory is inside the work tree of the
+       repository print "true", otherwise "false".
+
+--is-bare-repository::
+       When the repository is bare print "true", otherwise "false".
 
 --short, --short=number::
        Instead of outputting the full SHA1 values of object names try to