diff --git a/doc/stdenv.xml b/doc/stdenv.xml index a097762130a..ee110b77104 100644 --- a/doc/stdenv.xml +++ b/doc/stdenv.xml @@ -698,8 +698,14 @@ nothing. A list of strings passed as additional flags to make. These flags are also used by the default install and check phase. For setting make flags specific to the - build phase, use buildFlags (see - below). + build phase, use buildFlags (see below). + + +makeFlags = [ "PREFIX=$(out)" ]; + + + The flags are quoted in bash, but environment variables can + be specified by using the make syntax.