Re: [PATCH] Add --info-path and --man-path options to git.
- From
Jon Seymour <jon.seymour@gmail.com>
- Date
- May 2, 2011, 00:12 UTC
- 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.