package: source version: 1.2.13-4 I ran into a debian user a while ago, and he asked me what the Debian directory was doing in the kernel sources. I'd never noticed it and had to say I didn't know.
I see now that /usr/src/linux/Debian contains kernel-headers, kernel-image, and kernel-source subdirs, each with what look like debian packaging files related respectively to include, image, and source packages. It seems as if these should be in the source*.tar.gz package, but not in the unpackaed source*.deb package.
