diff options
| author | Jon Seymour <jon.seymour@gmail.com> | 2011-05-01 12:16:25 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2011-05-02 08:50:04 +0400 |
| commit | f2dd8c3799ddbd7df63a89a9043916f8545a70a3 (patch) | |
| tree | 99ba7774cc8c60bef70f107c731ee02cbd0643ce /Documentation/git.txt | |
| parent | ec014eac0e9e6f30cbbca616090fa2ecf74797e7 (diff) | |
git: add --info-path and --man-path options
Similar to the way the --html-path option lets UI programs learn where git
has its HTML documentation pages, expose the other two paths used to store
the documentation pages of these two types.
Signed-off-by: Jon Seymour <jon.seymour@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git.txt')
| -rw-r--r-- | Documentation/git.txt | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Documentation/git.txt b/Documentation/git.txt index 9d5949229a..7e9b521cd9 100644 --- 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 |