Re: [PATCH v3 1/3] 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>
> ---
>  builtin/help.c |   11 ++++++++++-
>  1 file changed, 10 insertions(+), 1 deletion(-)
>
> diff --git a/builtin/help.c b/builtin/help.c
> index 8f9cd60..b467db2 100644
> --- a/builtin/help.c
> +++ b/builtin/help.c
> @@ -34,6 +34,8 @@ enum help_format {
>  	HELP_FORMAT_WEB
>  };
>  
> +static char *html_path = NULL;