[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 07:59:44PM +0200, Ralf Treinen wrote:
> 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?

Erm, possibly my terminology is broken in an attempt to be fancy. Oh
well. What I mean is that everything in {/bin,/usr/bin} ought to have a
man page, but it doesn't matter if things in /usr/share/man/man1 aren't
associated with one single command.

Colin Watson                                  [cjwatson@flatline.org.uk]

Reply to: