diff options
| author | Christian Couder <chriscool@tuxfamily.org> | 2008-04-25 10:24:41 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-04-27 01:33:56 +0400 |
| commit | 7e8114c0683e6ecfd400a5a798ae7e2fc91249fb (patch) | |
| tree | d4f7974afa13eb74a2a9c0cf114756d95959ae94 /Documentation/config.txt | |
| parent | 7b15f872f23855de59bd06b0ebdbbc47b27b781b (diff) | |
documentation: help: add "man.<tool>.path" config variable
This patch documents the "man.<tool>.path" configuration
variable.
Signed-off-by: Christian Couder <chriscool@tuxfamily.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/config.txt')
| -rw-r--r-- | Documentation/config.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index 7a24f6e819..138ba9ad8f 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -805,6 +805,10 @@ merge.<driver>.recursive:: performing an internal merge between common ancestors. See linkgit:gitattributes[5] for details. +man.<tool>.path:: + Override the path for the given tool that may be used to + display help in the 'man' format. See linkgit:git-help[1]. + mergetool.<tool>.path:: Override the path for the given tool. This is useful in case your tool is not in the PATH. |