From 189179574d847e8e9662cf78804ce9371fac988d Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Sat, 2 Dec 2023 11:25:36 -0600
Subject: Add user

---
 readme.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'readme.md')

diff --git a/readme.md b/readme.md
index 0a29cde..fd9087c 100644
--- a/readme.md
+++ b/readme.md
@@ -17,13 +17,13 @@ You'll need `libev` and `openssl`.
 ## Running
 
 ```
-dune exec --watch --root . ./server.exe
+dune exec --watch --root . wormhole
 ```
 
 ## Build
 
 ```
-opam build
+opam install . --deps-only
 opam exec -- dune build
 ```
 
-- 
cgit v1.2.3