diff --git a/doc/stdenv.xml b/doc/stdenv.xml index d3042710f18..a03b3716a87 100644 --- a/doc/stdenv.xml +++ b/doc/stdenv.xml @@ -513,8 +513,8 @@ script) if it exists. dontAddPrefix By default, the flag --prefix=$prefix is added to the configure - flags. If this is undesirable, set this variable to a non-empty - value. + flags. If this is undesirable, set this variable to + true. @@ -530,8 +530,7 @@ script) if it exists. By default, the flag --disable-dependency-tracking is added to the configure flags to speed up Automake-based builds. If this is - undesirable, set this variable to a non-empty - value. + undesirable, set this variable to true. @@ -544,7 +543,7 @@ script) if it exists. variables in the Libtool script to prevent Libtool from using libraries in /usr/lib and such.. If this is undesirable, set this - variable to a non-empty value. + variable to true. @@ -552,8 +551,8 @@ script) if it exists. By default, when the configure script has , the option is added to the configure flags. - If this is undesirable, set this variable to a non-empty - value. + If this is undesirable, set this variable to + true.