diff options
| -rw-r--r-- | doc/install.html | 2 |
1 files changed, 1 insertions, 1 deletions
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> |