diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/stdenv.xml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/stdenv.xml b/doc/stdenv.xml index 1ecf72351f256..7bcbadd8ea9ab 100644 --- a/doc/stdenv.xml +++ b/doc/stdenv.xml @@ -569,6 +569,11 @@ nothing.</para> <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> </varlistentry> |