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: