diff --git a/Makefile b/Makefile index a9223a435ac663e593903006ad788e3b08da0725..baefc0ea05f818e88167e3bfdd0609786d50a311 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