diff options
-rw-r--r-- | doc/stdenv.xml | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/doc/stdenv.xml b/doc/stdenv.xml index a097762130a53..ee110b7710495 100644 --- a/doc/stdenv.xml +++ b/doc/stdenv.xml @@ -698,8 +698,14 @@ nothing.</para> <listitem><para>A list of strings passed as additional flags to <command>make</command>. These flags are also used by the default install and check phase. For setting make flags specific to the - build phase, use <varname>buildFlags</varname> (see - below).</para></listitem> + build phase, use <varname>buildFlags</varname> (see below). + +<programlisting> +makeFlags = [ "PREFIX=$(out)" ]; +</programlisting> + + <note><para>The flags are quoted in bash, but environment variables can + be specified by using the make syntax.</para></note></para></listitem> </varlistentry> <varlistentry> |