From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 28 Jun 2012 21:39:37 GMT
Subject: Re: [PATCH v3 1/3] Add config variable to set HTML path for git-help --web
Message-ID: <7vr4sz3yli.fsf@alter.siamese.dyndns.org>
In-Reply-To: <8d3c71d21710c66e4d5560cec958552b69a22338.1340866684.git.chris@arachsys.com>

Chris Webb <chris@arachsys.com> writes:

> 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;

I'll queue after updating this to

	static const char *html_path;

as the return value of const char *system_path(GIT_HTML_PATH) is
assigned to it.