fix documentation for instrument task (requires destdir attribute, not destfile)
diff --git a/org.jacoco.doc/docroot/doc/ant.html b/org.jacoco.doc/docroot/doc/ant.html
index 31c9584..e003c36 100644
--- a/org.jacoco.doc/docroot/doc/ant.html
+++ b/org.jacoco.doc/docroot/doc/ant.html
@@ -724,7 +724,7 @@
</p>
<pre class="source lang-xml linenums">
-<jacoco:instrument destfile="target/classes-instr">
+<jacoco:instrument destdir="target/classes-instr">
<fileset dir="target/classes" includes="**/*.class"/>
</jacoco:instrument>
</pre>