Thank you for the explanation. To make sure that I understand, please tell me whether my statements are correct . . .
Redo cannot be told to ignore a target file. If I happen to create a file with the same name as a phony target (e.g. "install"), then redo will refuse to run the rule. The only workarounds are to rename or remove the file or rename the target. There are good reasons that it works this way. Is that correct?
