diff options
Diffstat (limited to 'docs/DeveloperPolicy.html')
| -rw-r--r-- | docs/DeveloperPolicy.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/DeveloperPolicy.html b/docs/DeveloperPolicy.html index 61b7864991..6e8f9703cc 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> |