commit 003d47c7670d323894f83c3efe8430de583d7d3b
author Brock Janiczak <brockj@gmail.com> Fri Jan 15 00:45:17 2010 +0000
committer Brock Janiczak <brockj@gmail.com> Fri Jan 15 00:45:17 2010 +0000
tree 7a6ebd01d979ac954b78fabd92ad64e07e08311b
parent 551fcbc42e477648f9f2f98d0715ce932114df20

Issue #51 Rename merge option to append
Issue #59 Rename Agent Parameter 'file' to 'destfile'

Updated all references to agent options merge and append

org.jacoco.doc/docroot/doc/agent.html

diff --git a/org.jacoco.doc/docroot/doc/agent.html b/org.jacoco.doc/docroot/doc/agent.html
index da0b591..3916f5a 100644
--- a/org.jacoco.doc/docroot/doc/agent.html
+++ b/org.jacoco.doc/docroot/doc/agent.html
@@ -54,14 +54,14 @@
   </thead>

   <tbody>

     <tr>

-      <td><code>file</code></td>

+      <td><code>destfile</code></td>

       <td>Path to the output file for execution data.</td>

       <td><code>jacoco.exec</code></td>

     </tr>

     <tr>

-      <td><code>merge</code></td>

+      <td><code>append</code></td>

       <td>If set to <code>true</code> and the execution data file already

-          exists, coverage data is merged to the existing file. If set to

+          exists, coverage data is appended to the existing file. If set to

           <code>false</code>, an existing execution data file will be replaced.

       </td>

       <td><code>true</code></td>