build.xml .. fix doc (copy/paste)