summary refs log tree commit diff
diff options
context:
space:
mode:
authorMax Hausch2022-12-29 16:44:07 +0100
committerMax Hausch2023-01-09 08:17:53 +0100
commit540c14338d1d8e5c3d0d946f4f2326e1e6ce3cb1 (patch)
treea90c71d97cb2c33bbd7bcf0ccb115a73faabda36
parent9fdbf0183578c6968a1a321029bbf57b540dbdd4 (diff)
doc/stdenv: Add information about the doDist variable
-rw-r--r--doc/stdenv/stdenv.chapter.md4
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/stdenv/stdenv.chapter.md b/doc/stdenv/stdenv.chapter.md
index c28bb26baa4a..1b5e9124d6a4 100644
--- a/doc/stdenv/stdenv.chapter.md
+++ b/doc/stdenv/stdenv.chapter.md
@@ -837,6 +837,10 @@ The distribution phase is intended to produce a source distribution of the packa
 
 #### Variables controlling the distribution phase {#variables-controlling-the-distribution-phase}
 
+##### `doDist` {#var-stdenv-doDist}
+
+If set, the distribution phase is executed.
+
 ##### `distTarget` {#var-stdenv-distTarget}
 
 The make target that produces the distribution. Defaults to `dist`.