diff --git a/doc/stdenv/stdenv.xml b/doc/stdenv/stdenv.xml index 49699d7168d..1e97bf6157b 100644 --- a/doc/stdenv/stdenv.xml +++ b/doc/stdenv/stdenv.xml @@ -1123,6 +1123,16 @@ preBuild = '' Variables controlling the install phase + + + dontInstall + + + + Set to true to skip the install phase. + + + makeFlags / makeFlagsArray / makefile