Han-Wen Nienhuys <[EMAIL PROTECTED]> writes: > I think the linux_kernel_headers are used for the linux build, not the > debian one.
Hum, I was going to recommend to download directly from linux-libc-headers [1] (linux from scratch and DIY-linux use it) but I just learned the project is kind of dead [2] I suppose we could use stable like Jan suggested or maybe testing. It tend to change less frequently than unstable. Pedro Footnotes: [1] http://ep09.pld-linux.org/~mmazur/linux-libc-headers/ [2] http://lists.pld-linux.org/mailman/pipermail/llh-announce/2006-March/000002.html _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org http://lists.gnu.org/mailman/listinfo/lilypond-devel