Rombobjörn

summaryrefslogtreecommitdiff
path: root/manual.en.html
diff options
context:
space:
mode:
Diffstat (limited to 'manual.en.html')
-rwxr-xr-xmanual.en.html3
1 files changed, 2 insertions, 1 deletions
diff --git a/manual.en.html b/manual.en.html
index 59bd42b..92988e8 100755
--- a/manual.en.html
+++ b/manual.en.html
@@ -453,7 +453,8 @@ file is preprocessed, and <var>builder_arguments</var> will be passed to
GPRbuild or Gnatmake when a project is built. These variables are not meant to
be overridden by users. They may be used for preprocessor symbols, external
variables for project files or other arguments that are essential for the build
-to work. Global default values for optional arguments should be set in the
+to work. (Essential arguments may of course also be specified in build project
+files.) Global default values for optional arguments should be set in the
options variables instead.</p>
<p>The program-name variables <var>GNATPREP</var> and <var>GNAT_BUILDER</var>