Hints on GNU make.

diff --git a/README b/README
index 0814513e4e3e371cf32a1a52cda74941f1ce53c3..4a37d1ef1c3bd7be1a9ba65d8fe98aae4682f2cf 100644 (file)
--- a/README
+++ b/README
@@ -33,6 +33,9 @@ To build the server and set up a game, follow the steps below.
     make install.  The last step is optional; everything runs fine
     right from the build tree.
 
+    If make fails without doing anything, you're probably not using
+    GNU make.  Some systems have it installed as `gmake'.
+
 (3) Creating a game
 
     * Create a configuration for your game.  make install installs one