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>