> 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 :)
chmod a-r .config
:)
-- mingo