git: add --info-path and --man-path options

diff --git a/Documentation/git.txt b/Documentation/git.txt
index 9d5949229abac83b3e38b4f08565653f10492360..7e9b521cd9c139c15cc441122981a3e875a8e174 100644 (file)
--- a/Documentation/git.txt
+++ b/Documentation/git.txt
@@ -9,7 +9,7 @@ git - the stupid content tracker
 SYNOPSIS
 --------
 [verse]
-'git' [--version] [--exec-path[=<path>]] [--html-path]
+'git' [--version] [--exec-path[=<path>]] [--html-path] [--man-path] [--info-path]
     [-p|--paginate|--no-pager] [--no-replace-objects]
     [--bare] [--git-dir=<path>] [--work-tree=<path>]
     [-c <name>=<value>]
@@ -290,6 +290,14 @@ help ...`.
        Print the path to wherever your git HTML documentation is installed
        and exit.
 
+--man-path::
+       Print the path to wherever your git man pages are installed
+       and exit.
+
+--info-path::
+       Print the path to wherever your git Info files are installed
+       and exit.
+
 -p::
 --paginate::
        Pipe all output into 'less' (or if set, $PAGER) if standard