Cleanup installed libraries after make dist

[vmcj]

It is always hard on how to name targets, for now I went with the logic that when your run:
make dist or make maintainer-conf and make maintainer-clean afterwards you still endup with a clean checkout.

From naming you would expect that make distclean would cleanup after make dist but that doesn't seem to be the convention so the next logical target without creating a new one is make maintainer-clean.

[eldering]

From naming you would expect that make distclean would cleanup after make dist but that doesn't seem to be the convention so the next logical target without creating a new one is make maintainer-clean.

make distclean should bring you basically back to what is generated by make dist as that should (roughly) be the contents for a clean tarball. But for the conventions that we should try to adhere to, see:
https://www.gnu.org/software/make/manual/html_node/Standard-Targets.html
I don't think we should take these as hard rules though, but apply where it makes sense.

[vmcj]

From naming you would expect that make distclean would cleanup after make dist but that doesn't seem to be the convention so the next logical target without creating a new one is make maintainer-clean.

make distclean should bring you basically back to what is generated by make dist as that should (roughly) be the contents for a clean tarball. But for the conventions that we should try to adhere to, see: https://www.gnu.org/software/make/manual/html_node/Standard-Targets.html I don't think we should take these as hard rules though, but apply where it makes sense.

I checked and as this only touches maintainer-clean.

I checked the link, and we seem to do the correct thing in the distclean target.