Jérome Perrin
authored
Note that we cannot just use make-targets from the recipe, because make without
any target is executed first, and then make ${make-targets} is executed, but in
this case we really need to have make depend called first.