diff --git a/doc/stdenv.xml b/doc/stdenv.xml
index 1ecf72351f25..7bcbadd8ea9a 100644
--- a/doc/stdenv.xml
+++ b/doc/stdenv.xml
@@ -568,6 +568,11 @@ nothing.</para>
 <variablelist>
   <title>Variables controlling the build phase</title>
 
+  <varlistentry>
+    <term><varname>dontBuild</varname></term>
+    <listitem><para>Set to true to skip the build phase.</para></listitem>
+  </varlistentry>
+
   <varlistentry>
     <term><varname>makefile</varname></term>
     <listitem><para>The file name of the Makefile.</para></listitem>