Re: [gentoo-dev] QA PG 0305 (manpages must always be installed) discussion

2023-01-20 Thread Rich Freeman
On Fri, Jan 20, 2023 at 9:13 AM orbea wrote: > > Protecting users from themselves can be a misfeature. Its better to > educate and then let them freely choose than to play as their nanny. > TL;DR - it makes sense to unconditionally install prebuilt manpages, but not to require pulling in dependen

Re: [gentoo-dev] QA PG 0305 (manpages must always be installed) discussion

2023-01-20 Thread orbea
Protecting users from themselves can be a misfeature. Its better to educate and then let them freely choose than to play as their nanny. On Thu, 19 Jan 2023 19:25:22 +0200 Cedric Sodhi wrote: > On Thu, Jan 19, 2023 at 11:33:20AM -0500, Michael Orlitzky wrote: > > On Thu, 2023-01-19 at 13:25 +020

Re: [gentoo-dev] QA PG 0305 (manpages must always be installed) discussion

2023-01-19 Thread Cedric Sodhi
On Thu, Jan 19, 2023 at 11:33:20AM -0500, Michael Orlitzky wrote: > On Thu, 2023-01-19 at 13:25 +0200, Cedric Sodhi wrote: > > In this case, the expectation to compile manpages does not come free > > of cost and protects noone. By the above formulation, the cost > > "should" not come in the form of

Re: [gentoo-dev] QA PG 0305 (manpages must always be installed) discussion

2023-01-19 Thread Michael Orlitzky
On Thu, 2023-01-19 at 13:25 +0200, Cedric Sodhi wrote: > > In this case, the expectation to compile manpages does not come free > of cost and protects noone. By the above formulation, the cost > "should" not come in the form of additional (heavy! dev-python/sphinx > and deps are 75M) dependencies,

Re: [gentoo-dev] QA PG 0305 (manpages must always be installed) discussion

2023-01-19 Thread Yuan Liao (Leo3418)
On Thu, Jan 19, 2023 at 01:25:19PM +0200, Cedric Sodhi wrote: > I would like to continue https://bugs.gentoo.org/890589 here and also > increase the audience. The original policy was voted upon by 6 seniors and > approved with no documented opposition or discussion. I think it's possible > that

[gentoo-dev] QA PG 0305 (manpages must always be installed) discussion

2023-01-19 Thread Cedric Sodhi
I would like to continue https://bugs.gentoo.org/890589 here and also increase the audience. The original policy was voted upon by 6 seniors and approved with no documented opposition or discussion. I think it's possible that it went under the radar a bit. It says: > Packages must not disable i