diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2015-05-09 14:58:40 +0200 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2015-05-09 14:58:40 +0200 |
commit | 75ebc3cf1dc1365be5a05018fc8e5409c66025cb (patch) | |
tree | 6d7bb9561eab6996e4bbb5b016b4e41df6948867 /doc | |
parent | 23a95ffe6be2a471c53abf90c33c7dba5e85c6bc (diff) |
doc/stdenv: fix manual build after #7711
Diffstat (limited to 'doc')
-rw-r--r-- | doc/stdenv.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/stdenv.xml b/doc/stdenv.xml index a03b3716a87be..6fdebda09f981 100644 --- a/doc/stdenv.xml +++ b/doc/stdenv.xml @@ -545,13 +545,13 @@ script) if it exists.</para> such.</para></footnote>. If this is undesirable, set this variable to true.</para></listitem> </varlistentry> - + <varlistentry> <term><varname>dontDisableStatic</varname></term> <listitem><para>By default, when the configure script has <option>--enable-static</option>, the option <option>--disable-static</option> is added to the configure flags.</para> - <para></para>If this is undesirable, set this variable to + <para>If this is undesirable, set this variable to true.</para></listitem> </varlistentry> |