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 > > "sh

[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

[gentoo-dev] Deprecating virtual/opengl in favor of media-libs/libglvnd

2023-01-18 Thread Cedric Sodhi
Hello everyone, as by our discussion on #gentoo-desktop, we would like to sort out the historical artefact "virtual/opengl" which dates back to before Wayland and has become somewhat inappropriate (a misnomer, not sufficiently configurable, or redundant depending on one's perspective). A quick