[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: man page with standard gnome options

On Mon, Oct 21, 2002 at 11:22:50AM +0100, Colin Watson wrote:

> There doesn't *have* to be a bijective mapping from {/bin,/usr/bin} to
> /usr/share/man/man1; it merely ought to be injective. :-)

Injective would mean that two different commands must not have the same
man page. Why shouldn't that be allowed?


Reply to: