From 496c13786f97cce5c8385ddf9d6a93652143241f Mon Sep 17 00:00:00 2001
From: Mattias Andrée <maandree@kth.se>
Date: Sun, 5 Jun 2016 14:41:22 +0200
Subject: Fix typos found by Marc
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Mattias Andrée <maandree@kth.se>
---
 INSTALL | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'INSTALL')

diff --git a/INSTALL b/INSTALL
index 6e1160b..8d9da10 100644
--- a/INSTALL
+++ b/INSTALL
@@ -8,7 +8,7 @@ CONFIG when running make. For example:
     # edit my-config.mk
     make CONFIG=my-config.mk
 
-Unless you are compiling for Linux you make have to add
+Unless you are compiling for Linux you may have to add
     -D'FAST_RANDOM_PATHNAME="<path to a non-blocking random number generator>"'
 (/dev/urandom on Linux) and
     -D'SECURE_RANDOM_PATHNAME="<path to a blocking random number generator>"'
-- 
cgit v1.2.3-70-g09d2