From 935002e8992193b670d0fb60519e1020e1b9b52d Mon Sep 17 00:00:00 2001
From: Björn Persson <bjorn@rombobjörn.se>
Date: Tue, 10 Sep 2013 22:17:25 +0200
Subject: Save even environment variables in the configuration file.

---
 manual.en.html | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

(limited to 'manual.en.html')

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>
-- 
cgit v1.2.3