update documentation now that build.py can run