From b5c2310c6222d53a7c39125d67e6523897c148f8 Mon Sep 17 00:00:00 2001 From: Markus Armbruster Date: Sat, 18 Mar 2006 18:13:14 +0000 Subject: [PATCH] Hints on GNU make. --- README | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README b/README index 0814513e4..4a37d1ef1 100644 --- 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 -- 2.43.0