Re: man page with standard gnome options
On Mon, Oct 21, 2002 at 12:27:28PM -0500, Branden Robinson wrote:
> On Mon, Oct 21, 2002 at 11:22:50AM +0100, Colin Watson wrote:
> > Unlike undocumented(7) which gets applied to all kinds of stuff, it's
> > describing things which are overwhelmingly user-level programs, i.e.
> > section 1-ish pages. I wouldn't see a particular problem with having it
> > in section 1.
> >
> > There doesn't *have* to be a bijective mapping from {/bin,/usr/bin} to
> > /usr/share/man/man1; it merely ought to be injective. :-)
>
> I disagree.
I'd cite the suite of perl*(1) pages as precedent.
--
Colin Watson [cjwatson@flatline.org.uk]
Reply to: