Thanks, this was indeed a problem and this solution works.

However, I don't like it's interface, which forces to handle the special case of the images/ dir at the global level. I'd rather have a local solution where needed, similarly to what we already have in, e.g., swh-loader-tar/docs/Makefile or swh-loader-dir/docs/Makefile.

The makefiles that needs to do something special should add the needed dependency. So I think you should abandon this diff and update D454 and D455 to do something similar the above Makefiles.

as discussed, this diff should be abandoned