tweak ANT build so that doc/ is included
Authored by: azhrei_fje 2013-06-10
Parent: [r8]
Child: [r10]