GNU make is a tool that controls the generation of executables and other
non-source files from source files. Its purpose is the same as that
of the utility make(1).
WWW: http://www.gnu.org/software/make/make.html