[m-rev.] diff: make_top_targets

[Zoltan Somogyi]

On Sun, 25 Aug 2024 19:02:49 +0200 (CEST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:

> This does not need review.

I forgot to commit this diff on its own, and instead committed
half of it (the diff to one of the files) together with the following
diff to the same file (which is trivial). This is fixed now, the
version in the repository just before the bug-fixing commit
won't compile cleanly.

Zoltan.