docs: Mention the Makefile

1 job for devkit in 14 seconds