Note that the documentation was updated automatically, by running: ./tools/scripts/updateDocumentSnippets.py
This contains the currently-documented steps for a developer build. Also, make git ignore its output directory.