Re: [gentoo-dev] new profiles.desc header documenting profile/keyword policy

[Tom Wijsman]

On Wed, 22 Jan 2014 01:58:04 -0500
Mike Frysinger <vapier@g.o> wrote:

> On Monday 20 January 2014 12:26:13 William Hubbs wrote:
> > On Mon, Jan 20, 2014 at 02:23:24AM -0500, Mike Frysinger wrote:
> > > this has all been fairly ad-hoc in the past, so formalize it in
> > > the one place that impacts everyone -- profiles.desc.
> >
> > If it is policy, shouldn't it go in the dev manual rather than in
> > this file?
>
> maybe.  devmanual doesn't talk about this file at all atm.
>
> or maybe i still have it in my head that devmanual.g.o is the ad-hoc
> documentation and not a policy manual -- policy lives in the Gentoo
> Developer Handbook.

Parts of the policies at the end of the Gentoo Developer Handbook have
migrated to the development manual over the last week.

Those whom maintain it regard it as policy (qa@g.o, devmanual@g.o) as
far as I know, I have in the past also regarded it as such; to some
extent documentation should be based on policy, thus as a result I
think you can trust the documentation to be policy to a good extent.

The real policy is where the decisions are made, but as that's spread
across the council summaries and the mailing lists; that is what harder
to find I guess, with the ebuild policy now merging into the development
manual I think we really should see the development manual as policy.

The policy at the back of the Gentoo Developer Handbook was incomplete,
slightly outdated (CVS part, maybe some other unnoticed differences),
rarely came up in discussions (people often refer to devmanual
instead), ... thus I think its migration to the devmanual is progress.

-- 
With kind regards,

Tom Wijsman (TomWij)
Gentoo Developer

E-mail address  : TomWij@g.o
GPG Public Key  : 6D34E57D
GPG Fingerprint : C165 AF18 AB4C 400B C3D2  ABF0 95B2 1FCD 6D34 E57D