Track #122: Optional locale attribute for HTML reports.
diff --git a/org.jacoco.doc/docroot/doc/ant.html b/org.jacoco.doc/docroot/doc/ant.html
index 41ccf9f..9ac7ebc 100644
--- a/org.jacoco.doc/docroot/doc/ant.html
+++ b/org.jacoco.doc/docroot/doc/ant.html
@@ -555,13 +555,18 @@
<tr>
<td><code>footer</code></td>
<td>Footer text for each report page.</td>
- <td><i>No footer</i></td>
+ <td><i>no footer</i></td>
</tr>
<tr>
<td><code>encoding</code></td>
- <td>Encoding of the generated HTML pages.</td>
+ <td>Character encoding of generated HTML pages.</td>
<td><code>UTF-8</code></td>
</tr>
+ <tr>
+ <td><code>locale</code></td>
+ <td>Locale specified as ISO code (en, fr, jp, ...) used for number formating.</td>
+ <td><i>platform locale</i></td>
+ </tr>
</tbody>
</table>