On Mon, May 2, 2011 at 10:02 AM, Junio C Hamano <gitster@xxxxxxxxx> wrote: > Jonathan Nieder <jrnieder@xxxxxxxxx> writes: > >> By contrast, man and info typically use standard search mechanisms: >> man using $MANPATH and info using the dir.info file. ÂThe usual >> interface to git's documentation through a man browser is not >> >> Â Â Â man /usr/share/man/man1/git-add.1.gz >> >> but >> >> Â Â Â man git-add; Â Â# or "man git add" if your man viewer supports it > > I think you are forgetting the case where the git-man-path the user uses > to install git may be outside /usr/share/man (e.g. $HOME/share/man). ÂIn > such an installation, by setting $PATH to include your installed git > binary (e.g. $HOME/bin), you should be able to say "git help -m git" to > tell help.c to internally prepend $HOME/share/man to the $MANPATH before > it kicks "man". ÂDoes "man git-add" work without you knowing where that > directory is (iow, without having $HOME/share/man on $MANPATH)? ÂAnd if it > does not, how would you learn what directory to add to your $MANPATH? > > Isn't that what this patch is solving? ÂI am not sure where the similarity > with the html documentation breaks donw. ÂThe same thing for info. Good point. For non-distro installed installations of git, this would be handy, even for read-only purposes. 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