Re: make --always-make-but-just-this-file

[Dan Jacobson]

Yes but then what's the point to --always-make when the user could have just 
removed all the offending files in the first place? Convenience only perhaps.