[arch-dev-public] OMG info pages

[Dan McGee]

On Tue, Apr 22, 2008 at 12:15 PM, Travis Willard <travis at archlinux.org> wrote:
> 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.

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