From: Theodore Tso <tytso@mit.edu>
Date: Sun, 01 Jul 2007 03:00:19 GMT
Subject: Re: Start deprecating "git-command" in favor of "git command"
Message-ID: <20070701030019.GB28917@thunk.org>
In-Reply-To: <2b05065b0706301848o21cf9e90g14f759a99196dcf2@mail.gmail.com>

On Sat, Jun 30, 2007 at 09:48:26PM -0400, eschvoca wrote:
> By removing the dash I would miss out on man pages too.

The man pages are something that needs careful consideration.  Some
man programs use the PATH as a hint to figure out which man page to
show --- i.e., if /usr/local/bin/git-log is in the path then it's
likely that the man page you want to show is the one in
/usr/local/man/man1/git-log.1.

If we don't install git-log in the PATH, for some setups people won't
be able to see the man page for git-log.

						- Ted