From a9e66b1c893786790d7da3ef0ab4bf5f040c484a Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr>
Date: Sun, 3 Apr 2016 19:10:36 +0000
Subject: [PATCH] Update on Makefile

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

diff --git a/Makefile b/Makefile
index a9223a435a..baefc0ea05 100755
--- a/Makefile
+++ b/Makefile
@@ -72,7 +72,7 @@ TTOOL_MPSOC = $(TTOOL_PATH)/MPSoC
 TTOOL_SIMULATORS = $(TTOOL_PATH)/simulators
 TTOOL_FIGURES = $(TTOOL_PATH)/figures
 TTOOL_DOC = $(TTOOL_PATH)/doc
-TTOOL_DOC_SOCLIB = $(TTOOL_PATH)/document_soclib
+TTOOL_DOC_SOCLIB = $(TTOOL_PATH)/doc/document_soclib
 TTOOL_DOC_HTML = $(TTOOL_PATH)/doc/html
 TTOOL_VCD = $(TTOOL_PATH)/vcd
 TTOOL_WORD = $(TTOOL_PATH)/doc/word
-- 
GitLab