Add documentation to build.xml for build.py changes (Fix #10254) (rebased onto develop)



This is the same as gh-727 but rebased onto develop.

----

None