> includes should conflict with source
It used to be that way, but it unfortunately was a _tremendous_ pain in
the neck. The problem is that "dpkg" won't let you replace "includes"
with "source" without first removing _every_package_ that depends on
them. This means you have to remove the _entire_development_system_.
To resolve this problem, I made them not conflict, and set them up
so that if both were installed, when one was removed /usr/src/linux
would be set to point to the other one. Of course /usr/src/linux
points to the most recently installed of either "source" or "includes"
after an install.
If Ian Jackson says that "dselect" can handle this situation correctly
now, I'll make the two packages conflict with each other.
Thanks
Bruce
--
See Pixar's "Toy Story", at a theater near you starting November 22.
"Toy Story" Toys and Soundtrack Album are available now!
