GNU make ¶ See also https://fr.wikipedia.org/wiki/GNU_Make https://www.gnu.org/software/make/ makefile Shellology Introduction makefile tutorials makefile tutorials 2010