generate ant documentation; properties in description body
generate ant documentation; properties in description body

git-svn-id: 3831a4ca4e0d7424d005c20fcfa72cf70ba68552@22 0b1e04c6-6530-0410-a4b8-2fc45048b05a

travis/ant-deb-task