From 9213b65ee1e03cb595d4e70440d3afe6c39f76e0 Mon Sep 17 00:00:00 2001 From: Edwin Brady Date: Tue, 19 May 2020 20:31:04 +0100 Subject: [PATCH] Update INSTALL.md make clean does a better job than just cleaning the build directories --- INSTALL.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/INSTALL.md b/INSTALL.md index aba1f1e13..5f6025a87 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -53,7 +53,7 @@ Then, go to the Self-hosting step below, but you'll also need to add `SCHEME=chez` (with the appropriate name for `chez`) so that the bootstrapping script knows where to look. That is: -* `rm -rf build` -- clean the build artefacts +* `make clean` -- clean the build artefacts * `make all IDRIS2_BOOT=idris2sh SCHEME=chez` * `make install`