Re: What's cooking in git.git (Apr 2014, #09; Tue, 29)
- From
Felipe Contreras <felipe.contreras@gmail.com>
- Date
- May 7, 2014, 19:50 UTC
- Message-ID
- <536a8e7cc2abc_76ff7a52ec74@nysa.notmuch>
- In-Reply-To
- <20140507192805.GA9035@serenity.lan>
John Keeping wrote:
Show 5 quoted lines
> 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