Rombobjörn

summaryrefslogtreecommitdiff
path: root/manual.en.html
diff options
context:
space:
mode:
authorBjörn Persson <bjorn@rombobjörn.se>2013-09-10 22:17:25 +0200
committerBjörn Persson <bjorn@rombobjörn.se>2013-09-10 22:17:25 +0200
commit935002e8992193b670d0fb60519e1020e1b9b52d (patch)
tree67e1f4e7352a0d26655000af4a9e6eab392373d6 /manual.en.html
parenteecfaa22e39f3613bd73241526cf99a68d3986ca (diff)
Save even environment variables in the configuration file.
Diffstat (limited to 'manual.en.html')
-rwxr-xr-xmanual.en.html13
1 files changed, 8 insertions, 5 deletions
diff --git a/manual.en.html b/manual.en.html
index 70703e4..a9d125a 100755
--- a/manual.en.html
+++ b/manual.en.html
@@ -425,11 +425,14 @@ your default.</p>
<p>Those Make variables that installing users are expected to change can be
configured persistently. Run "<samp>make configure</samp>" with some variables
-set on the command line. Those variables will then be saved in a file named
-<var>comfignat_configuration.mk</var>, which will be loaded in all subsequent
-Make invocations. Additional variables can be configured incrementally. The
-configuration can be erased with "<samp>make unconfigure</samp>" or as a part
-of "<samp>make distclean</samp>".</p>
+set on the command line or in the environment. Those variables will then be
+saved in a file named <var>comfignat_configuration.mk</var>, which will be
+loaded in all subsequent Make invocations. Additional variables can be
+configured incrementally. In subsequent Make invocations environment variables
+override values that were configured from the environment, and variables set on
+the command line override all configured values. The configuration can be
+erased with "<samp>make unconfigure</samp>" or as a part of
+"<samp>make distclean</samp>".</p>
<p>The variables that can be configured are listed in the variable
<var>configuration_variables</var>. The variables listed in <var>options</var>