Specify Makefile path

Use a Makefile in a different directory or with a different name

make -f infra/Makefile plan

tool
make10 commands
tags
makelinux

More make commands

all 10 make commands