diff --git a/docs/install.html b/docs/install.html
index f126097bba2..605b6581551 100644
--- a/docs/install.html
+++ b/docs/install.html
@@ -234,6 +234,9 @@ For more options run "./configure --help" and read INSTALL.GNU.
 <pre>
 	make
 </pre>
+<p>(on some systems you may need to run <code>gmake</code> or
+<code>gnumake</code> instead)
+</p>
 <p>
 When finished, libGL.so will be in src/.libs/ and libGLU.so will be in
 si-glu/.libs/, etc.