Merge "Correct the docs for some options for the compile command." into udc-dev