Am Mittwoch, 12. Mai 2004 15:41 schrieb Fabien COELHO:
> > make install-all-headers
>
> Good, but not enough?
>
> I still argue that it should be done "by default"
I agree, but this is not a bug, it is a deliberate design decision. If you
want to change it, argue about it on -hackers.