diff options
author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-01-10 03:53:48 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-01-10 03:53:48 +0100 |
commit | 5e07823679e94e5248b4c3f579838e4f35139096 (patch) | |
tree | 313233e5325bcbd17266ee1519559b142da037a7 /doc | |
parent | 0a94eb26e400ddbb6bee3c5048d9209c108dfb8e (diff) | |
parent | 540c14338d1d8e5c3d0d946f4f2326e1e6ce3cb1 (diff) |
Merge pull request #208252 from helsinki-systems/doc/doDist
doc/stdenv: Add information about the doDist variable
Diffstat (limited to 'doc')
-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 c28bb26baa4af..1b5e9124d6a4f 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`. |