From 3df0806017ec8de173bedb2ca63ab089c39dfe81 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sat, 1 Apr 2023 10:50:32 +0200
Subject: [PATCH] change "run" to "build", since "run" leads to a Scryer prompt
 which can be unexpected

---
 README.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index ed002d8d..97830007 100644
--- a/README.md
+++ b/README.md
@@ -115,12 +115,13 @@ distribution should be uninstalled from your system before rustup is
 used.
 
 Currently the only way to install the latest version of Scryer is to
-clone directly from this git repository, which can be done as follows:
+clone directly from this git repository, and compile the system. This
+can be done as follows:
 
 ```
 $> git clone https://github.com/mthom/scryer-prolog
 $> cd scryer-prolog
-$> cargo run [--release]
+$> cargo build [--release]
 ```
 
 The optional `--release` flag will perform various optimizations,
-- 
2.54.0