A recent change to the stable branch seems to have introduced a slight error in docs/building/building.xml. In line 3822, a </screen> tag is missing. The version that has this bug is 1.13.2.11. Cheers, Andres