> A cursory inspection of the makefiles gives the impression that all
> source files depend on every header file.
>
> Any chance of tuning the dependencies to skip redundant activity? I'm
> happy to try and suggest some specific improvements if you'd like.
Actually, I've done quite a bit of work reducing dependencies as much
as possible. It just so happens that mask.h *is* needed by almost
everything, because it is included by value.h.
John