2007/4/28, Travis Willard <travis@archlinux.org>:
On Sat, 28 Apr 2007 13:02:10 +0300 "Roman Kyrylych" <roman.kyrylych@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 (Роман Кирилич)