Dear Peter,
> > > make install-all-headers
> > I still argue that it should be done "by default"
> I agree, but this is not a bug, it is a deliberate design decision.
Well, isn't feature just another name for bugs? ;-)
> If you want to change it, argue about it on -hackers.
Ok. Thanks.
--
Fabien Coelho - coelho@cri.ensmp.fr
