Fix major typo

This typo has caused me insuferable pain.
3 years ago · a09f342faf
parent d66546a7f1
commit a09f342faf
1 changed files with 1 additions and 1 deletions
--- 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!