On Mon, May 2, 2011 at 4:15 AM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > Jon Seymour <jon.seymour@xxxxxxxxx> writes: > >> To better support git extensions provided by 3rd parties >> which would like to install their own man pages and Info files >> in the same place as git's own man pages and Info files >> add support for --man-path and --info-path options. >> >> Signed-off-by: Jon Seymour <jon.seymour@xxxxxxxxx> >> --- > > This an improvement that is pretty much independent from the issue of > third party extensions. In fact, even people who would oppose to the idea > of any third party crap [*1*] contaminating the install directories owned > by git may want to this patch. > Thanks. I agree the sentiment that suggests that we don't want to pollute git's own directories with 3rd party contributions. This, indeed, is part of the motivation for a --plugins-path option which would provide a physically separate location for 3rd party contributions, per the earlier discussions between yourself and Jonathan Nieder. I'll put together a suggested patch for how this might work in the next week or so. jon. -- 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