
gnu.org
https://www.gnu.org/software/make/manual/make.html
GNU make
Once a suitable makefile exists, each time you change some source files, this simple shell command: suffices to perform all necessary recompilations. The make program uses the makefile data base and the last-modification times of the files to decide which of the files need to be updated.