change docs link (#87)

seprov · web-flow · commit 415af28bc4e5 · 2025-05-08T07:56:39.000-05:00
diff --git 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
 }
 

Original file line number	Diff line number	Diff line change
`@@ -222,7 +222,7 @@ install_macos() {`
`222`	`222`	`***********************`
`223`	`223`
`224`	`224`	`See the docs for more info:`
`225`		`-https://github.com/imandra-ai/imandrax-api`
	`225`	`+https://docs.imandra.ai/imandrax/`
`226`	`226`	`EOF`
`227`	`227`	`}`
`228`	`228`