diff options
| author |  Sebastian Staudt <koraktor@gmail.com> | 2013-01-15 21:56:21 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2013-01-15 13:08:45 -0800 |
| commit | b1f809d0aecd9b0853d728dbc3d4c4e44e235785 (patch) | |
| tree | be490ee7bfe1849999f8fddceb087a1853b105b0 | |
| parent | Git 1.7.12.4 (diff) | |
| download | tgif-b1f809d0aecd9b0853d728dbc3d4c4e44e235785.tar.xz | |
config.txt: Document help.htmlpath config parameter
Signed-off-by: Sebastian Staudt <koraktor@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
| -rw-r--r-- | Documentation/config.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Documentation/config.txt b/Documentation/config.txt index 122e3c4996..351a1fbaaa 100644 --- a/Documentation/config.txt +++ b/Documentation/config.txt @@ -1348,6 +1348,12 @@ help.autocorrect:: value is 0 - the command will be just shown but not executed. This is the default. +help.htmlpath:: + Specify the path where the HTML documentation resides. File system paths + and URLs are supported. HTML pages will be prefixed with this path when + help is displayed in the 'web' format. This defaults to the documentation + path of your Git installation. + http.proxy:: Override the HTTP proxy, normally configured using the 'http_proxy', 'https_proxy', and 'all_proxy' environment variables (see |