From 540c14338d1d8e5c3d0d946f4f2326e1e6ce3cb1 Mon Sep 17 00:00:00 2001
From: Max Hausch <github@hausch.xyz>
Date: Thu, 29 Dec 2022 16:44:07 +0100
Subject: [PATCH] doc/stdenv: Add information about the doDist variable

---
 doc/stdenv/stdenv.chapter.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/stdenv/stdenv.chapter.md b/doc/stdenv/stdenv.chapter.md
index c28bb26baa4..1b5e9124d6a 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`.