Remove obsolete code from docs/build.xml