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>