diff options
author | Domen Kozar <domen@dev.si> | 2013-05-05 10:49:57 +0200 |
---|---|---|
committer | Domen Kozar <domen@dev.si> | 2013-05-05 10:50:07 +0200 |
commit | 99864573312de6143f5e368c7e8a4e8b0d07291b (patch) | |
tree | 4871ea8af46b8883711dd8e28d31f932bdec3569 | |
parent | 0f633fdfc6fd8f09ae9ae764d905a702eb5343cb (diff) |
add dontBuild docs
-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> |