[multiple changes]

[gcc.git] / gcc / ada / projects.texi

diff --git a/gcc/ada/projects.texi b/gcc/ada/projects.texi
index 79ac6620ad7af78aadb53e7a112f7646017c2431..f3ecde9826f3af772cc9e5f18d4a5d1c9e2fac64 100644 (file)
--- a/gcc/ada/projects.texi
+++ b/gcc/ada/projects.texi
@@ -2514,11 +2514,17 @@ project files specified with @code{Project_Files}.
 
 Each aggregate project has its own (that is if agg1.gpr includes
 agg2.gpr, they can potentially both have a different project path).
-This project path is defined as the concatenation, in that order, of
-the current directory, followed by the command line -aP switches,
-then the directories from the Project_Path attribute, then the
-directories from the GPR_PROJECT_PATH and ADA_PROJECT_PATH env.
-variables, and finally the predefined directories.
+
+This project path is defined as the concatenation, in that order, of:
+
+@itemize @bullet
+@item the current directory;
+@item followed by the command line -aP switches;
+@item then the directories from the GPR_PROJECT_PATH and ADA_PROJECT_PATH environment
+variables;
+@item then the directories from the Project_Path attribute;
+@item and finally the predefined directories.
+@end itemize
 
 In the example above, agg2.gpr's project path is not influenced by
 the attribute agg1'Project_Path, nor is agg1 influenced by