Re: out-of-date "include"d files

[Robert P. J. Day]

>   "once a Makefile has been read in, if any of its included files were out of
> date (or do not yet exist), they are re-built, and then make starts again,
> which has the result that make is now working with up-to-date include files."

I'd be very surprised if this isn't mentioned in the make manual in any way.  
Finding it, though, may be a bit difficult.

-----------

  no, i just didn't look hard enough.  my bad.  section 3.3, toward the end.
i've already vowed to read harder before asking more questions.  sigh.

rday