Gentoo Archives: gentoo-dev

From:	Jakub Moc <jakub@g.o>
To:	Bjarke Istrup Pedersen <gentoo-dev@l.g.o>
Subject:	Re: [gentoo-dev] We have "doc" USE flag, why not a "man" USE flag too
Date:	Wed, 10 Aug 2005 12:21:14
Message-Id:	`1989028025.20050810141619@gentoo.org`
In Reply to:	[gentoo-dev] We have "doc" USE flag, why not a "man" USE flag too by Bjarke Istrup Pedersen

1	10.8.2005, 14:09:46, Bjarke Istrup Pedersen wrote:
2
3	> Not everybody needs the man pages, but installing them as default is
4	> good, but currently, there is no way to deselect them.
5
6	> What do you think?
7
8	I think you should read 'man make.conf' (FEATURES="noman nodoc noinfo") ;p
9
10	--
11	Best regards,
12
13	Jakub Moc
14	mailto:jakub@g.o
15	GPG signature: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0xCEBA3D9E
16	Primary key fingerprint: D2D7 933C 9BA1 C95B 2C95 B30F 8717 D5FD CEBA 3D9E
17
18	... still no signature ;)