Since commit 2687d202809dfaafe8f40f613aec131ad9501433, the Makefile
named release.mk stopped handling dependencies between recipes, because
they have to be executed separately (from different Github Actions
jobs).
There is no real benefit using a Makefile anymore. Replace them by
several individual release scripts for simplicity and readability.
