From e945cb88f23ec7ddba0f9f686b0b068be532cf30 Mon Sep 17 00:00:00 2001 From: Edwin Brady Date: Mon, 18 May 2020 23:34:56 +0100 Subject: [PATCH] Typo fix --- INSTALL.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/INSTALL.md b/INSTALL.md index bf1f7bfe2..b540c1b6e 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -47,7 +47,7 @@ Then, go to the Self-hosting step below, but you'll also need to add script knows where to look. That is: * `rm -rf build` -- clean the build artefacts -* `make all IDRIS2_BOOT=idris2sh SCHEME=chez +* `make all IDRIS2_BOOT=idris2sh SCHEME=chez` * `make install` 1b: Installing with an existing Idris 2