From 8412c604518893d66b78bf78ffda2c02f861d5a9 Mon Sep 17 00:00:00 2001
From: Brian Paul <brian.paul@tungstengraphics.com>
Date: Tue, 1 Apr 2003 15:33:08 +0000
Subject: [PATCH] added gnumake/gmake info

---
 docs/install.html | 3 +++
 1 file changed, 3 insertions(+)

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.
-- 
2.30.2