On Saturday 05 May 2001 05:58, Greg Steele wrote: > I am having a difficult time compiling the device3dfx driver. > > Part of the problem, I'm sure, is my lack of knowledge of how to > correctly setup the kernel-header and kernel-source directories > under Debian. > > I am running kernel-2.2.19-ide. > > I have > > /usr/src/kernel-source-2.2.19 > /usr/src/kernel-headers-2.2.19-ide > and a link from /usr/src/linux to /usr/src/kernel-source-2.2.19
I'm not an expert, but I think if you have the kernel sources, you don't need the kernel-headers. The headers are included in the source. I don't know if that's written somewhere. At least you didn't find it. People should be able to use debian even if they don't know what headers and sources are, no?
