Add a few notes on the makefile infrastructure