Merge pull request #208252 from helsinki-systems/doc/doDist

doc/stdenv: Add information about the doDist variable
This commit is contained in:
Valentin Gagarin 2023-01-10 03:53:48 +01:00 committed by GitHub
commit 5e07823679
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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`.