Gentoo Archives: gentoo-dev

From: Paul de Vrieze <pauldv@g.o>
To: gentoo-dev@l.g.o
Subject: Re: [gentoo-dev] proposed USE flag: nodoc
Date: Fri, 30 Jan 2004 09:09:02
Message-Id: 36168.134.188.150.80.1075453642.squirrel@callisto.cs.kun.nl
1 > On Thu, 29 Jan 2004 23:01:57 -0800 Drake Wyrm <wyrm@×××××.com> wrote: |
2 Just had an idea for a new USE flag. As a companion to the 'doc' USE |
3 flag(which installs extra documentation), how about a USE flag which |
4 inhibits/any/ documentation. This would be highly handy for trimming |
5 down a system such as a server or router which will never have a warm |
6 body sitting in front of it after everything is installed and
7 > | configured. What say ye?
8 >
9 > As another possibility... How about a nodocs FEATURES instead? This
10 would prevent *any* documentation from being installed by overriding
11 dodoc, doman and so on.
12
13 What we want is just a variable in make.conf
14 INSTALL_MASK="/usr/share/doc /usr/share/man /usr/share/info"
15
16 which would mean that files in those dirs will not get installed. In the
17 meantime you could create a small wrapper for emerge that just removes all
18 the files from thos directories.
19
20 Paul
21
22
23
24 --
25 gentoo-dev@g.o mailing list

Replies

Subject Author
Re: [gentoo-dev] proposed USE flag: nodoc Christian Birchinger <joker@g.o>