From 20141dc352faa25f51432be99c49a239aade10ee Mon Sep 17 00:00:00 2001
From: Martin Goik <goik@hdm-stuttgart.de>
Date: Mon, 31 Aug 2015 11:17:31 +0200
Subject: [PATCH] Makefile missing space added

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

diff --git a/Makefile b/Makefile
index 77241f2cb..61d9ad00e 100644
--- a/Makefile
+++ b/Makefile
@@ -5,7 +5,7 @@ numCores=$(shell nproc --all)
 DOCMODULES = Sd1 Sda1 Sda2
 
 doc:
-	cd Doc;$(MAKE) -j ${numCores}all
+	cd Doc;$(MAKE) -j ${numCores} all
 
 all:doc
 	mvn --fail-at-end install || exit 0
-- 
GitLab