giacomo
about
makefile
makefile
https://seisman.github.io/how-to-write-makefile/introduction.html