From bb0746df950f0de71e71bcae5017272ad525da12 Mon Sep 17 00:00:00 2001
From: HastyTS <166496037+HastyTS@users.noreply.github.com>
Date: Wed, 11 Jun 2025 19:35:30 +1000
Subject: [PATCH] Update README.md

Signed-off-by: HastyTS <166496037+HastyTS@users.noreply.github.com>
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 9064094..59012ea 100644
--- a/README.md
+++ b/README.md
@@ -29,7 +29,7 @@ For example, you can do:
   git clone git@github.com:seL4/machine_queue.git
   H=$(pwd)/mq.sh
   cd ~/bin
-  ln -s $H/mq.sh mq
+  ln -s $H mq
   ```
 
 The mq scripts assume a standard POSIX system, that `/bin/sh` is