use the Makefile in the dev environment documentation - its way less typing, and fewer typing mistakes
Merge pull request #3065 from SvenDowideit/use-makefile-in-devenv-documentation

use the Makefile in the dev environment documentation - its way less typing, and fewer typing mistakes