From 4826d0558a5bcecd9d1507eb36642fec6bb476a8 Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jdimino@janestreet.com>
Date: Tue, 4 Apr 2017 13:51:58 +0100
Subject: [PATCH] Added comment in Makefile

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index e195d9f..18b148f 100644
--- a/Makefile
+++ b/Makefile
@@ -35,6 +35,7 @@ clean:
 	rm -rf _build *.install
 	find . -name .merlin -delete
 
+# This needs to be updated
 .PHONY: gh-pages
 gh-pages: doc
 	git clone `git config --get remote.origin.url` .gh-pages --reference .