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. ---------------------------(end of broadcast)--------------------------- TIP 8: explain analyze is your friend