On Mon, May 2, 2011 at 10:06 AM, Jon Seymour <jon.seymour@xxxxxxxxx> wrote: > On Mon, May 2, 2011 at 10:02 AM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > BTW: should it be --man-path and --info-path or --man-dir and --info-dir. I chose --man-path to be consistent with the other options, but in reality, I think all these options specify directories rather than paths (e.g. lists of directories). 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