From bf35f2736387e2b4ca38141ff4f4edb91de21e40 Mon Sep 17 00:00:00 2001
From: Sebastian Provenzano <seprov@gmail.com>
Date: Wed, 7 May 2025 17:45:12 -0500
Subject: [PATCH] change docs link

---
 scripts/install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/install.sh b/scripts/install.sh
index 7440dda8..81b19dde 100755
--- a/scripts/install.sh
+++ b/scripts/install.sh
@@ -222,7 +222,7 @@ install_macos() {
 ***********************
 
 See the docs for more info:
-https://github.com/imandra-ai/imandrax-api
+https://docs.imandra.ai/imandrax/
 EOF
 }