diff options
| author | Chris Webb <chris@arachsys.com> | 2012-06-28 10:58:02 +0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-06-29 01:37:26 +0400 |
| commit | 89a852efb911c260d3f7b56ef8382a0725cc931b (patch) | |
| tree | 9b20cec6e76ca45c596cfda7a1128195f44d6c3c /builtin/help.c | |
| parent | 4c8a9db6f7dd9e10b5ce9bfbcd5faa82a8c86ce3 (diff) | |
Add config variable to set HTML path for git-help --web
If set in git-config, help.htmlpath overrides system_path(GIT_HTML_PATH)
which was compiled in. This allows users to repoint system-wide git at
their own copy of the documentation without recompiling.
Signed-off-by: Chris Webb <chris@arachsys.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'builtin/help.c')
| -rw-r--r-- | builtin/help.c | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/builtin/help.c b/builtin/help.c index 43d3c84449..9e36fb4cc7 100644 --- a/builtin/help.c +++ b/builtin/help.c @@ -30,6 +30,8 @@ enum help_format { HELP_FORMAT_WEB }; +static const char *html_path; + static int show_all = 0; static unsigned int colopts; static enum help_format help_format = HELP_FORMAT_NONE; @@ -261,6 +263,12 @@ static int git_help_config(const char *var, const char *value, void *cb) help_format = parse_help_format(value); return 0; } + if (!strcmp(var, "help.htmlpath")) { + if (!value) + return config_error_nonbool(var); + html_path = xstrdup(value); + return 0; + } if (!strcmp(var, "man.viewer")) { if (!value) return config_error_nonbool(var); @@ -383,7 +391,8 @@ static void show_info_page(const char *git_cmd) static void get_html_page_path(struct strbuf *page_path, const char *page) { struct stat st; - const char *html_path = system_path(GIT_HTML_PATH); + if (!html_path) + html_path = system_path(GIT_HTML_PATH); /* Check that we have a git documentation directory. */ if (stat(mkpath("%s/git.html", html_path), &st) |