Re: [gentoo-dev] Make 'man' global USE flag from currently local

2021-02-13 Thread Adam Feldman
On 2/13/21 6:16 AM, Alessandro Barbieri wrote: > Il Sab 13 Feb 2021, 02:19 Aisha Tammy ha scritto: > > Hi all, >    I am proposing to make the `man` USE flag into a global one. > Currently it is used by ~45 packages most of which have the same > description 'Build and install man

Re: [gentoo-dev] Make 'man' global USE flag from currently local

2021-02-13 Thread m1027
toralf: > On 2/13/21 12:16 PM, Alessandro Barbieri wrote: > > > > IMO manpages should be installed unconditionally and the useflag dropped > > I'd like to disagree - IIRC there're packages with a ridiculous large > and expensive dep tree just to build their man pages. Agreed. That's saying a

Re: [gentoo-dev] Make 'man' global USE flag from currently local

2021-02-13 Thread Ionen Wolkens
On Sat, Feb 13, 2021 at 12:26:51PM +0100, Toralf Förster wrote: > On 2/13/21 12:16 PM, Alessandro Barbieri wrote: > > > > IMO manpages should be installed unconditionally and the useflag dropped > I'd like to disagree - IIRC there're packages with a ridiculous large > and expensive dep tree just

Re: [gentoo-dev] Make 'man' global USE flag from currently local

2021-02-13 Thread Toralf Förster
On 2/13/21 12:16 PM, Alessandro Barbieri wrote: IMO manpages should be installed unconditionally and the useflag dropped I'd like to disagree - IIRC there're packages with a ridiculous large and expensive dep tree just to build their man pages. -- Toralf PGP 23217DA7 9B888F45

Re: [gentoo-dev] Make 'man' global USE flag from currently local

2021-02-13 Thread Alessandro Barbieri
Il Sab 13 Feb 2021, 02:19 Aisha Tammy ha scritto: > Hi all, >I am proposing to make the `man` USE flag into a global one. > Currently it is used by ~45 packages most of which have the same > description 'Build and install man pages': > https://packages.gentoo.org/useflags/man > Hopefully no

[gentoo-dev] Make 'man' global USE flag from currently local

2021-02-12 Thread Aisha Tammy
Hi all,   I am proposing to make the `man` USE flag into a global one. Currently it is used by ~45 packages most of which have the same description 'Build and install man pages': https://packages.gentoo.org/useflags/man Hopefully no objections to this part? Cheers, Aisha

Re: [gentoo-dev] Make 'man' global USE flag from currently local

2021-02-12 Thread Thomas Mueller
> Hi all, >   I am proposing to make the `man` USE flag into a global one. > Currently it is used by ~45 packages most of which have the same > description 'Build and install man pages': > https://packages.gentoo.org/useflags/man > Hopefully no objections to this part? > Cheers, > Aisha Seems