diff --git a/docs/DeveloperPolicy.html b/docs/DeveloperPolicy.html
index de46ccdd00e..9c8b4d666b8 100644
--- a/docs/DeveloperPolicy.html
+++ b/docs/DeveloperPolicy.html
@@ -108,7 +108,7 @@
   <li>Patches should be made with this command:
 <div class="doc_code">
 <pre>
-svn diff -x -u
+svn diff
 </pre>
 </div>
       or with the utility <tt>utils/mkpatch</tt>, which makes it easy to read