From 8e2241ee352bb4575254fcb59b3f4e39b9c4e8d5 Mon Sep 17 00:00:00 2001
From: Ludovic Apvrille <ludovic.apvrille@telecom-paris.fr>
Date: Fri, 3 Feb 2023 18:55:11 +0100
Subject: [PATCH] Adding new target for javadoc: make documentationfile

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

diff --git a/Makefile b/Makefile
index 41012e5822..2d4d2e3fb8 100755
--- a/Makefile
+++ b/Makefile
@@ -237,7 +237,7 @@ documentationfile: $(patsubst %,$(TTOOL_SRC)/%,$(GLOBAL_JAVA))
 	@echo "$(PREFIX) Generating Javadoc"
 	mkdir -p $(TTOOL_DOC_HTML)
 	rm -f $(LIST_OF_FILES)
-	for p in $^; do \
+	@@for p in $^; do \
 		echo $$p >>  $(LIST_OF_FILES);\
 	done
 	$(JAVADOC) $(DOCFLAGS) @$(LIST_OF_FILES)
-- 
GitLab