From b3f7fa97307dcd0051ab4037e5be1e611dac1cba Mon Sep 17 00:00:00 2001
From: Timothy <timothyhobbs@seznam.cz>
Date: Tue, 26 Aug 2014 13:53:21 +0000
Subject: [PATCH] Add newline at end of Makefile

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

diff --git a/docs/Makefile b/docs/Makefile
index cc31f6420..89e5f96eb 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -10,3 +10,4 @@ html:
 
 clean:
 	rm -rf _build/
+