Maybe you could chalk this up to a documentation bug, it says whenever ANY included makefile is read, it reloads, the above trace indicates that two rules to generate makefiles were performed before reloading...
I still don't understand what the problem is; the documentation, according to the above, indicates that whenever any makefile is /read/ (ie included, not built), it reloads.
Noel
_______________________________________________ Bug-make mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-make
