IMHO it's a bit more correct this way (in subtle ways, like make distro with original Makefile does for me delete bin/ multiple times, the tmp/ is removed by clean so why should distro delete it as last step, etc...
But feels like the Makefile become lot longer, so up to you, whether you like it like this, or prefer simpler Makefile.
(some of the changes scratch my personal itch about installing tool binaries to ~/.local/bin, so with this change I can do make prefix=~/.local install to build+install the binary, other changes are "cleanup" and not directly connected to this goal)
IMHO it's a bit more correct this way (in subtle ways, like
make distro
with original Makefile does for me delete bin/ multiple times, the tmp/ is removed byclean
so why shoulddistro
delete it as last step, etc...But feels like the Makefile become lot longer, so up to you, whether you like it like this, or prefer simpler Makefile.
(some of the changes scratch my personal itch about installing tool binaries to ~/.local/bin, so with this change I can do
make prefix=~/.local install
to build+install the binary, other changes are "cleanup" and not directly connected to this goal)