diff --git a/doc/dev_infrastructure/ttool_development_infrastructure.tex b/doc/dev_infrastructure/ttool_development_infrastructure.tex
index a3b5d68741a5e41d2eaab7f53b1c89d466791ada..a670c4241c32f9fef1183901f0ffa7596d9dce76 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