From 8c77abc8521019378c7acb5d887366fa7dc84a80 Mon Sep 17 00:00:00 2001
From: Jan Philipp Hafer <anon_1plus1equals3@mailbox.org>
Date: Mon, 24 Jun 2024 16:12:39 +0200
Subject: [PATCH] improve README

---
 README.md | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index eb26ca8b4..cae374f3d 100644
--- a/README.md
+++ b/README.md
@@ -33,7 +33,15 @@ The CLI can then be used either from the source directory using:
 $ dune exec cerberus -- ARG1 .. ARGN
 ```
 
-or, after doing `$ make install`, using the `cerberus` executable.
+or install to use `cerberus` as executable via
+
+```bash
+$ make install DESTDIR=$HOME/.local/cerberus
+# if not in $PATH, adjust shell config, ie ~/.bashrc
+$ PATH=${PATH}:"$HOME/.local/cerberus/bin"
+# needs the opam configuration being loaded, ie $ eval (opam env)
+$ cerberus --help
+```
 
 ---
 To fully remove all object and Lem generated files: