From d7cf1b29d03a3627a9f3f53831c0c4cde3fa518c Mon Sep 17 00:00:00 2001
From: Etienne Millon <me@emillon.org>
Date: Tue, 17 Oct 2023 16:47:57 +0200
Subject: [PATCH] doc: document DUNE_CACHE_ROOT in the manpages (#8954)

Fixes #5678

Signed-off-by: Etienne Millon <me@emillon.org>
---
 bin/common.ml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/bin/common.ml b/bin/common.ml
index fcd63387cac..a4c3614aac1 100644
--- a/bin/common.ml
+++ b/bin/common.ml
@@ -1363,6 +1363,9 @@ let envs =
     ; info
         ~doc:"If different than $(b,0), ANSI colors should be enabled no matter what."
         "CLICOLOR_FORCE"
+    ; info
+        "DUNE_CACHE_ROOT"
+        ~doc:"If set, determines the location of the machine-global shared cache."
     ]
 ;;