From 818e027385a917f4bd14ce8be5b6bcfcd9021bd7 Mon Sep 17 00:00:00 2001
From: bestgopher <84328409@qq.com>
Date: Fri, 22 Dec 2023 14:08:24 +0800
Subject: [PATCH] Update docs/src/user/basic_setup.md

Co-authored-by: Yashodhan <54112038+YJDoc2@users.noreply.github.com>
---
 docs/src/user/basic_setup.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/src/user/basic_setup.md b/docs/src/user/basic_setup.md
index 556f54e1aa..5e846dd11a 100644
--- a/docs/src/user/basic_setup.md
+++ b/docs/src/user/basic_setup.md
@@ -70,7 +70,7 @@ This will create a directory named youki in the directory you ran the command in
 
 ## Installing the source
 
-Once you have cloned the source, you can build it by [just](https://github.com/casey/just#installation).
+Once you have cloned the source, you can build it with [just](https://github.com/casey/just#installation) :
 
 ```console
 # go into the cloned directory