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