Re: Suggestion: "man git clone"

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