Comment by ez77

Naive question: why is it necessary to invoke make at all? Don't these files simply need to be available in the server?