makefile #1
makefile
I'll run it on Tuesday on Linux and check if it runs ok.