diff options
author | Björn Persson <bjorn@rombobjörn.se> | 2013-09-10 22:17:25 +0200 |
---|---|---|
committer | Björn Persson <bjorn@rombobjörn.se> | 2013-09-10 22:17:25 +0200 |
commit | 935002e8992193b670d0fb60519e1020e1b9b52d (patch) | |
tree | 67e1f4e7352a0d26655000af4a9e6eab392373d6 /manual.en.html | |
parent | eecfaa22e39f3613bd73241526cf99a68d3986ca (diff) |
Save even environment variables in the configuration file.
Diffstat (limited to 'manual.en.html')
-rwxr-xr-x | manual.en.html | 13 |
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> |