> Wouldn't it be a good idea to have each makefile check that the includes
> *are* up-to-date? This would save:
> (b) Those of us who tend to over-install the include files just in case.

Actually, this is less of a problem than it used to be; now that the
include files are installed with pax, they keep their original modification
dates even after a re-install, thus preventing gratuitous recompiles of
things that have explicit header file dependancies.