[arch-dev-public] OMG info pages
travis at archlinux.org
Tue Apr 22 13:15:34 EDT 2008
On Tue, Apr 22, 2008 at 1:05 PM, Aaron Griffin <aaronmgriffin at 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.
More information about the arch-dev-public