From 4c93b3a091c1be51413aa5de12855b548acff9e5 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Thu, 7 Dec 2023 14:10:03 +0100
Subject: [PATCH] Update running_locally.md

---
 doc/running_locally.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/doc/running_locally.md b/doc/running_locally.md
index 0497f18..5ab890f 100644
--- a/doc/running_locally.md
+++ b/doc/running_locally.md
@@ -86,11 +86,10 @@ Download dependencies and build the game:
 ```bash
 cd GameSkeleton
 lake update -R
-lake exe cache get   # if your game depends on mathlib
 lake build
 ```
 
-Clone the game repository into a directory next to the game:
+Clone the server repository into a directory next to the game:
 ```bash
 cd ..
 git clone https://github.com/leanprover-community/lean4game.git