From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Wed, 07 May 2014 19:50:20 GMT
Subject: Re: What's cooking in git.git (Apr 2014, #09; Tue, 29)
Message-ID: <536a8e7cc2abc_76ff7a52ec74@nysa.notmuch>
In-Reply-To: <20140507192805.GA9035@serenity.lan>

John Keeping wrote:
> Having thought about it a bit more after reading Felipe's reply, it
> would be nice if there were some way for third-party tools to install
> HTML documentation without relying on `git --html-path` but I cannot
> see an obvious way to do that as there isn't a standard $HTML_PATH to
> match $MAN_PATH and $PATH.

Using `git --html-path` for that is wrong.

-- 
Felipe Contreras