%% Erwin Waterlander <address@hidden> writes:
ew> Then the manual is wrong. My example is exactly like the example
ew> in section 4.6. See:
ew> http://www.gnu.org/software/make/manual/html_chapter/make_4.html#SEC41
Everything in there is true.
ew> Now you can say just `make' to remake all three programs, or
ew> specify as arguments the ones to remake (as in `make prog1
ew> prog3').
I guess you're reading this paragraph to somehow say that PHONY-ness is
transferred to the prerequisites. But that's not what it says, or
means. It says that you can run "make" and it will remake all three
programs, which is true: it will use make's normal algorithms to remake
all three of those programs. It doesn't say they're all PHONY or that
they'll be rebuilt every time.
I'll add a note to the manual to make this explicit.