From 7ee6eb65b861c25a38ee1903718cf1e65c6c7006 Mon Sep 17 00:00:00 2001
From: Florian Lugou <florian.lugou@telecom-paristech.fr>
Date: Mon, 19 Jun 2017 11:03:33 +0200
Subject: [PATCH] mentioned settings.gradle in ttool_dev_infrastructure

---
 doc/dev_infrastructure/ttool_development_infrastructure.tex | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/doc/dev_infrastructure/ttool_development_infrastructure.tex b/doc/dev_infrastructure/ttool_development_infrastructure.tex
index a3b5d68741..a670c4241c 100644
--- a/doc/dev_infrastructure/ttool_development_infrastructure.tex
+++ b/doc/dev_infrastructure/ttool_development_infrastructure.tex
@@ -792,6 +792,11 @@ changes. In particular:
     \item If a javac flag should be added or removed
 \end{itemize}
 
+There is another gradle configuration file in the root folder of TTool:
+\texttt{settings.gradle}. The purpose of this file is to list the sub-projects
+of TTool. It should thus be modified when a new sub-project is created or if you
+want a sub-project not to be compiled when calling \texttt{gradle build}.
+
 In order to build all projects, run:
 \begin{verbatim}
 gradle build
-- 
GitLab