On Thu, Aug 21, 2008 at 12:37 PM, H. Peter Anvin <hpa@xxxxxxxxx> wrote: > man git clone > > [...] > > I doubt you find *anyone* who relies on the current behaviour, so I am > suggesting changing man. That's why the man author was on the recipient > list, but you removed it. > [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? Thanks, Avery -- 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
