Dne 15.3.2016 v 19:27 Andy Lutomirski napsal(a): > Fair enough, although I'm curious why this happens. It might be worth > changing the docs to say that .PHONY is *not* an substitute for FORCE > in that context, then.
These two are unrelated, except that FORCE is redundant for a .PHONY target. FORCE is our idiom to tell make to always remake the target and let us handle the dependencies manually. Listing a target as .PHONY tells make that the target will not produce a file of the same name (typically, "all", "install", etc). Michal
