> This prompts a question: why *not* do the "make mrproper ; make config ;
> make dep ; make clean" sequence when building a new version of a
> kernel (e.g., move from 2.1.15 to 2.1.16)?
make mrproper is a superset of make clean, so nobody would want to
do both anyway. In most cases, mrproper involves more work because
you have to hide your .config someplace :)
Kai