From 99864573312de6143f5e368c7e8a4e8b0d07291b Mon Sep 17 00:00:00 2001
From: Domen Kozar <domen@dev.si>
Date: Sun, 5 May 2013 10:49:57 +0200
Subject: [PATCH] add dontBuild docs

---
 doc/stdenv.xml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/doc/stdenv.xml b/doc/stdenv.xml
index 1ecf72351f25..7bcbadd8ea9a 100644
--- a/doc/stdenv.xml
+++ b/doc/stdenv.xml
@@ -568,6 +568,11 @@ nothing.</para>
 <variablelist>
   <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>