doc/stdenv: fix manual build after #7711

This commit is contained in:
Vladimír Čunát 2015-05-09 14:58:40 +02:00
parent 23a95ffe6b
commit 75ebc3cf1d

View file

@ -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>