From 7697d8772452e391ad705687f88ec228bb3db31f Mon Sep 17 00:00:00 2001
From: Slava <20563034+veaceslavdoina@users.noreply.github.com>
Date: Sun, 29 Sep 2024 10:40:55 +0300
Subject: [PATCH] Add circuit download tool build note and update references
 (#23)

---
 learn/build.md | 10 ++++++++++
 learn/run.md   |  2 +-
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/learn/build.md b/learn/build.md
index fbf649f..c83d95f 100644
--- a/learn/build.md
+++ b/learn/build.md
@@ -146,6 +146,16 @@ make
 
 The default `make` target creates the `build/codex` executable.
 
+## Tools
+
+### Circuit download tool
+
+To build the circuit download tool located in `tools/cirdl` run:
+
+```shell
+make cirdl
+```
+
 ## Example usage
 
 See the instructions in the [Quick Start](/learn/quick-start).
diff --git a/learn/run.md b/learn/run.md
index cc4ca80..37b62e7 100644
--- a/learn/run.md
+++ b/learn/run.md
@@ -311,7 +311,7 @@ That sub-command will make Codex to listen for a proof requests on the blockchai
 
 Every [network](/networks/networks) uses its own generated set of the files which are stored in the [codex-contracts-eth](https://github.com/codex-storage/codex-contracts-eth/tree/master/verifier/networks) repository and also uploaded to the CDN. Hash of the files set is also known by the [marketplace smart contract](/learn/architecture#smart-contract).
 
-To download circuit files and make them available to Codex app, we have a stand-alone utility - `cirdl`. It can be compiled from the sources (`make cirdl`) or downloaded from the [GitHub release page](https://github.com/codex-storage/nim-codex/releases).
+To download circuit files and make them available to Codex app, we have a stand-alone utility - `cirdl`. It can be [compiled from the sources](/learn/build#circuit-download-tool) or downloaded from the [GitHub release page](https://github.com/codex-storage/nim-codex/releases).
 
 > [!TIP]
 > You would need to pass a bootstrap nodes, blockchain RPC endpoint and marketplace address based on the [network](/networks/networks) you would like to join.