Bug#1802: source.deb package has unexpected Debian subdirectory
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.