On Sat, Feb 27, 2016 at 12:33:11PM +0100, Ricardo Wurmus wrote: > >> I thought a bit about it before and I don't really think it'll save that > >> much > >> space. Most of the time the headers are a small part of the total package, > >> and the fine-tuning that comes with chosing exactly which outputs from a > >> build process you actually want seem like they should be left as > >> encouragement for people to hack their systems. > > > > Seconded. We can add a separate “include” output (there’s already a > > special case for that in gnu-build-system) on a case-by-case basis, like > > we do for documentation, but in practice, I’ve never seen a case where > > moving headers away would be a significant space saving. > > Thank you all for your comments. I agree that it makes sense to do this > on a case-by-case basis only. > > Curiosity: satisfied :)
Can we make the git binary download smaller? I think it is one of the largest ones now in Guix. Since git is a small tool it really shouldn't be that large despite that Linus was involved and some people say it may be a larger contribution for posterity than the kernel ;) Pj.