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 - [EMAIL PROTECTED] ---------------------------(end of broadcast)--------------------------- TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]
