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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html