From 8604afcbc37276760ae74b2d1fbe200aa4b64dce Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 18 Nov 2017 15:42:31 -0500
Subject: README: mention that GNU Make is required

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 433ef0bb..911d13f0 100644
--- a/README.md
+++ b/README.md
@@ -32,7 +32,7 @@ wget http://localhost:8080/Hello/main -O -
 
 # Simple Installation
 
-The normal UNIX-style build and installation procedure works.
+The normal UNIX-style build and installation procedure works (where the `make` program needs to be GNU Make).
 
 ```sh
 ./configure
-- 
cgit v1.2.3