[arch-dev-public] OMG info pages

Travis Willard 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 mailing list