I found something make cannot do. $ make --always-make file.xyz remakes the entire tree.
So make is missing $ make --always-make-but-just-this-file file.xyz Sure, there are workarounds. One might even edit the Makefile. But no way to do it more succinctly.
