Thank you, @marc.chevrier, for this thorough answer. One more question, since I’ve got you here. Is it OK to have multiple of these entries? From what you write I assume that
<target1> <target2>: <dependency>+
is not valid, but is
<target1>: <dependency>+
<target2>: <dependency>+
valid?
Your explanation for why this is not fed directly to the tool is very clear.
Thanks again!