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?
-Ralf.