From: Jon Seymour <jon.seymour@gmail.com>
Date: Mon, 02 May 2011 00:12:51 GMT
Subject: Re: [PATCH] Add --info-path and --man-path options to git.
Message-ID: <BANLkTin7ozKg8E40N3Nas_TSROt4awfEAw@mail.gmail.com>
In-Reply-To: <BANLkTik-8WVsw-_P7=-pEiXFLeoQQRAVeg@mail.gmail.com>

On Mon, May 2, 2011 at 10:06 AM, Jon Seymour <jon.seymour@gmail.com> wrote:
> On Mon, May 2, 2011 at 10:02 AM, Junio C Hamano <gitster@pobox.com> 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.