GitHub #289: Allow locales with country and variant for Ant report task.
diff --git a/org.jacoco.doc/docroot/doc/ant.html b/org.jacoco.doc/docroot/doc/ant.html
index 38f7179..74dedfa 100644
--- a/org.jacoco.doc/docroot/doc/ant.html
+++ b/org.jacoco.doc/docroot/doc/ant.html
@@ -657,7 +657,9 @@
</tr>
<tr>
<td><code>locale</code></td>
- <td>Locale specified as ISO code (en, fr, jp, ...) used for number formating.</td>
+ <td>Locale specified as ISO code (en, fr, jp, ...) used for number
+ formating. Locale country and variant can be separated with an underscore
+ (de_CH).</td>
<td><i>platform locale</i></td>
</tr>
</tbody>