Re: What's cooking in git.git (Apr 2014, #09; Tue, 29)

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