diff --git a/doc/install.html b/doc/install.html
index 843e0645fe..b989416916 100644
--- a/doc/install.html
+++ b/doc/install.html
@@ -80,7 +80,7 @@ To build it, you need these programs installed:
 <li>GCC, 
 <li>the standard C libraries, 
 <li>the parser generator Bison,
-<li><tt>make</tt>, 
+<li>GNU <tt>make</tt> (version 3.81 or later),
 <li><tt>awk</tt>, and 
 <li>the text editor <tt>ed</tt>.
 </ul>