added gnumake/gmake info

diff --git a/docs/install.html b/docs/install.html
index f126097bba2313be28a27804c6c74c46b2f4ebd9..605b6581551bc21f522b3dc34c16cdea8e931472 100644 (file)
--- 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.