On Tue, Apr 22, 2008 at 12:15 PM, Travis Willard <travis@archlinux.org> wrote:
On Tue, Apr 22, 2008 at 1:05 PM, Aaron Griffin <aaronmgriffin@gmail.com> wrote:
I'm really really sick of people making mountains out of the docs molehill... it's such a petty issue...
Would anyone honestly care if we removed the !docs option from makepkg.conf by default, and let each maintainer add options=(!docs) if the docs are too big for a given package?
No need to do the rebuilds all in one go, just let the docs trickle in...
Opinions anyone?
I was about to suggest the same thing.
Arch prefers manpages, there is no doubt there. We also prefer vanilla packages, which could very well include packaging and installing upstream documentation as the authors intended. I'm fine with keeping docs around. -Dan