On 07/21/11 23:14, Eli Zaretskii wrote: > I'm sure recovering 3 minutes of needless compilation will > be quite a win, at a cost of a couple of additional recipes
If the only cost were two small make rules, that would indeed be a win. I worry the cost will be larger than that. But please feel free to give it a try, and see.