[pacman-dev] makepkg patch to create $pkgname-docs package for docs

[Roman Kyrylych]

2007/4/28, Travis Willard <travis at archlinux.org>:
> On Sat, 28 Apr 2007 13:02:10 +0300
> "Roman Kyrylych" <roman.kyrylych at gmail.com> wrote:
>
> > The possibility that user that intentionally want to strip headers
> > will _maybe_ need them in some distant future is not excuse, really.
> > ;-)
>
> It may not be an 'excuse' but it's a valid point - how _would_ people
> get these files back if they needed them?  It will happen, do not
> doubt, and if the only solution is "edit your pacman.conf, remove the
> option, force-reinstall the package, then edit your pacman.conf to
> re-add the option" then I don't think that's a good enough solution.
>
> > I think saying "hey, let's ship docs but have an option to strip them
> > after install" and "option to strip headers is not good" is twofold.
> > I don't understand such opinions, sorry... :-/
>
> My opinion about both is the same actually - shipping and stripping
> post-install is not a good idea.  I don't know why you think I'm
> pro-stripping-docs - the email you responded to was my first message in
> this discussion.

Actually that part was not adressed to you personally.
It was my fault to not state this explicitly.
Take my apologies... :-(

-- 
Roman Kyrylych (Роман Кирилич)