From: H. Peter Anvin <hpa@zytor.com>
Date: Thu, 21 Aug 2008 17:22:47 GMT
Subject: Re: Suggestion: "man git clone"
Message-ID: <48ADA467.1030407@zytor.com>
In-Reply-To: <32541b130808211007xf295e40l567ecf785a8fca22@mail.gmail.com>

Avery Pennarun wrote:
> 
> [and I put him back...]
> 
> Unfortunately what we don't have is a proposal that would work better.
>  Also, changing the behaviour of 'man' wouldn't work on any platform
> other than Linux (presumably), which means the git documentation
> wouldn't be able to rely on that behaviour.
> 
> Still, in a perfect world, what *should* man do in such a case?
> Automatically open /usr/man/man1/git/clone.1?
> 

That would probably be the best option, other options are 
$MANPATH/man1/git\ clone.1 or $MANPATH/mangit/clone.git (I actually 
tried that on the assumption that it might treat "git" as a section; 
unfortunately, it didn't work.)

	-hpa