[arch-dev-public] OMG info pages
dpmcgee at gmail.com
Tue Apr 22 13:31:18 EDT 2008
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
More information about the arch-dev-public