Gentoo Archives: gentoo-dev

From: Christian Birchinger <joker@g.o>
To: gentoo-dev@l.g.o
Subject: Re: [gentoo-dev] proposed USE flag: nodoc
Date: Fri, 30 Jan 2004 16:18:39
Message-Id: 20040130160841.GA13460@netswarm.net
In Reply to: Re: [gentoo-dev] proposed USE flag: nodoc by Paul de Vrieze
1 Yes, we talked about INSTALL_MASK some time ago. I wonder why
2 nodoc and noinfo got added to portage instead of the more
3 generic and better configurable INSTALL_MASK.
4
5 On Fri, Jan 30, 2004 at 10:07:22AM +0100, Paul de Vrieze wrote:
6 > > As another possibility... How about a nodocs FEATURES instead? This
7 > would prevent *any* documentation from being installed by overriding
8 > dodoc, doman and so on.
9 >
10 > What we want is just a variable in make.conf
11 > INSTALL_MASK="/usr/share/doc /usr/share/man /usr/share/info"
12 >
13 > which would mean that files in those dirs will not get installed. In the
14 > meantime you could create a small wrapper for emerge that just removes all
15 > the files from thos directories.
16 >
17 > Paul
18
19 --
20 gentoo-dev@g.o mailing list