From 63a0d8d5f01dd39f227ff7d9484fa24b84432341 Mon Sep 17 00:00:00 2001
From: joneugster <eugster.jon@gmail.com>
Date: Mon, 16 Oct 2023 04:30:44 +0200
Subject: [PATCH] typo

---
 DOCUMENTATION.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DOCUMENTATION.md b/DOCUMENTATION.md
index 0c05de5..f6ad787 100644
--- a/DOCUMENTATION.md
+++ b/DOCUMENTATION.md
@@ -284,7 +284,7 @@ lake build
 Clone the game repository into a directory next to the game:
 ```bash
 cd ..
-git clone hhttps://github.com/leanprover-community/lean4game.git
+git clone https://github.com/leanprover-community/lean4game.git
 # or: git clone git@github.com:leanprover-community/lean4game.git
 ```
 The folders `NNG4` and `lean4game` must be in the same directory!