Index: ant/xdocs/properties.xml
===================================================================
--- ant/xdocs/properties.xml	(revision 125261)
+++ ant/xdocs/properties.xml	(working copy)
@@ -53,6 +53,21 @@
             goal.
           </td>
         </tr>
+        <tr>
+          <td>maven.ant.use.properties</td>
+          <td>Yes</td>
+          <td>
+            Starting with version 1.9 of the Maven ant plugin two lines are
+            added at the top of the generated buildfile:
+            <pre>
+  &lt;property file="build.properties"/&gt;
+  &lt;property file="${user.home}/build.properties"/&gt;</pre>
+            If you experience that your own properties are clashing with the
+            ones used in the generated buildfile you can set this property to
+            "false" to remove these 2 lines from the generated buildfile.
+            Valid values are "true" or "false". Defaults to "true".
+          </td>
+        </tr>
       </table>
     </section>
   </body>