diff --git a/doc/contribute.html b/doc/contribute.html index 5d8e1163a0..2068ab8a3e 100644 --- a/doc/contribute.html +++ b/doc/contribute.html @@ -696,7 +696,7 @@ Don't use HTML, Markdown, or any other markup language.

Add any relevant information, such as benchmark data if the change affects performance. -The benchcmp +The benchstat tool is conventionally used to format benchmark data for change descriptions.