diff --git a/doc/stdenv.xml b/doc/stdenv.xml
index fa3a7ef056e..d3042710f18 100644
--- a/doc/stdenv.xml
+++ b/doc/stdenv.xml
@@ -546,6 +546,15 @@ script) if it exists.
such.. If this is undesirable, set this
variable to a non-empty value.
+
+
+ dontDisableStatic
+ 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.
+ preConfigure