Make re-execs itself if the Makefile (or any include) changes, and
goals should do something similar. See:
https://www.gnu.org/software/make/manual/html_node/Remaking-Makefiles.html
Make re-execs itself if the Makefile (or any include) changes, and
goals should do something similar. See:
https://www.gnu.org/software/make/manual/html_node/Remaking-Makefiles.html