diff options
Diffstat (limited to 'gcc/ada/projects.texi')
| -rw-r--r-- | gcc/ada/projects.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/projects.texi b/gcc/ada/projects.texi index f5cc8ae71dc..4603a4f9df9 100644 --- a/gcc/ada/projects.texi +++ b/gcc/ada/projects.texi @@ -1135,7 +1135,8 @@ the search stops: @itemize @bullet @item @file{<prefix>/<target>/lib/gnat} - (for @command{gprbuild} only and if option @option{--target} is specified) + (for @command{gnatmake} in all cases, and for @command{gprbuild} if option + @option{--target} is specified) @item @file{<prefix>/share/gpr/} (for @command{gnatmake} and @command{gprbuild}) @item @file{<prefix>/lib/gnat/} |