[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:
> 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.

-- 
G. Branden Robinson                |    I've made up my mind.  Don't try to
Debian GNU/Linux                   |    confuse me with the facts.
branden@debian.org                 |    -- Indiana Senator Earl Landgrebe
http://people.debian.org/~branden/ |

Attachment: pgpYCrVld6pPq.pgp
Description: PGP signature


Reply to: