> "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 _______________________________________________ Help-make mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/help-make
