diff --git a/doc/stdenv.xml b/doc/stdenv.xml
index 9c3a804a360d..d8d106e54ad4 100644
--- a/doc/stdenv.xml
+++ b/doc/stdenv.xml
@@ -879,7 +879,7 @@ distribution of the package. The default
distPhase first calls make
dist, then it copies the resulting source tarballs to
$out/tarballs/. This phase is only executed if
-the attribute doDist is not set.
+the attribute doDist is set.
Variables controlling the distribution phase