diff --git a/doc/stdenv.xml b/doc/stdenv.xml
index dbffdad9fde..9de912274dc 100644
--- a/doc/stdenv.xml
+++ b/doc/stdenv.xml
@@ -1109,6 +1109,16 @@ passthru.updateScript = [ ../../update.sh pname "--requested-release=unstable" ]
+
+
+ dontConfigure
+
+
+
+ Set to true to skip the configure phase.
+
+
+
configureFlagsArray