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">
-&lt;jacoco:instrument destfile="target/classes-instr"&gt;
+&lt;jacoco:instrument destdir="target/classes-instr"&gt;
     &lt;fileset dir="target/classes" includes="**/*.class"/&gt;
 &lt;/jacoco:instrument&gt;
 </pre>