Fix documentation.
diff --git a/org.jacoco.doc/docroot/doc/ant.html b/org.jacoco.doc/docroot/doc/ant.html
index ce40488..9a6971b 100644
--- a/org.jacoco.doc/docroot/doc/ant.html
+++ b/org.jacoco.doc/docroot/doc/ant.html
@@ -214,7 +214,7 @@
       <td>Output method to use for writing coverage data. Valid options are:

         <ul>

           <li><code>file</code>: At VM termination execution data is written to

-              the file specified in the <code>tofile</code> attribute.</li>

+              the file specified in the <code>destfile</code> attribute.</li>

           <li><code>tcpserver</code>: The agent listens for incoming connections

               on the TCP port specified by the <code>address</code> and

               <code>port</code> attribute. Execution data is written to this