diff options
author | Max Hausch | 2022-12-29 16:44:07 +0100 |
---|---|---|
committer | Max Hausch | 2023-01-09 08:17:53 +0100 |
commit | 540c14338d1d8e5c3d0d946f4f2326e1e6ce3cb1 (patch) | |
tree | a90c71d97cb2c33bbd7bcf0ccb115a73faabda36 | |
parent | 9fdbf0183578c6968a1a321029bbf57b540dbdd4 (diff) |
doc/stdenv: Add information about the doDist variable
-rw-r--r-- | doc/stdenv/stdenv.chapter.md | 4 |
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`. |