From bcfc552aed41def6f44641c9c1c2957c4384974c Mon Sep 17 00:00:00 2001 From: Marek Kubica Date: Tue, 24 Sep 2024 14:59:25 +0200 Subject: [PATCH] Add link to mental model Signed-off-by: Marek Kubica --- doc/explanation/package-management.md | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/doc/explanation/package-management.md b/doc/explanation/package-management.md index 31def71c402a..15cfb3dd345d 100644 --- a/doc/explanation/package-management.md +++ b/doc/explanation/package-management.md @@ -164,7 +164,10 @@ access any package repositories. ## Building When building, Dune will read the information from the lock directory and set -up build rules to use the packages. The rules include +up rules to use the packages. Check {doc}`/explanation/mental-model` for +details about rules. + +The rules that the package management sets up include: * Fetch rules to download the sources as well as any additional sources like patches and unpack them