From 26e6b39de3213969d7de7f8bb3d4a849136866d1 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Sat, 14 May 2016 09:52:25 +0200
Subject: doc: Use `$(MAKE)` instead of `make`

This is necessary to ensure we use gmake.
---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'CHANGES')

diff --git a/CHANGES b/CHANGES
index 3875c3a2..d450cff5 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,6 +1,6 @@
 Changes in version 2.17.2
 
- * TODO
+ * Fix portability of documentation building within GHC
 
 Changes in version 2.17.1
 
-- 
cgit v1.2.3