diff --git a/docs/DeveloperPolicy.html b/docs/DeveloperPolicy.html
index 61b7864..6e8f970 100644
--- a/docs/DeveloperPolicy.html
+++ b/docs/DeveloperPolicy.html
@@ -107,7 +107,7 @@
     diff.</li>
      
     <li>Patches should not include differences in generated code such as the
-    code generated by <tt>flex</tt>, <tt>bison</tt> or <tt>tblgen</tt>. The
+    code generated by <tt>autoconf</tt> or <tt>tblgen</tt>. The
     <tt>utils/mkpatch</tt> utility takes care of this for you.</li>
   </ol>