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 -- 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
