fix broken link (#1776)

(cherry picked from commit ef7a5c7)
cosmos · Jul 28, 2022 · 8fc5beb · 8fc5beb
1 parent ff6c5e2
commit 8fc5beb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/modules/apps/transfer/keeper/MBT_README.md b/modules/apps/transfer/keeper/MBT_README.md
@@ -36,7 +36,7 @@ and executed automatically.
 
 
 The easiest way to run Apalache is by 
-[using a Docker image](https://github.com/informalsystems/apalache/blob/master/docs/manual.md#useDocker); 
+[using a Docker image](https://apalache.informal.systems/docs/apalache/installation/docker.html); 
 to run Jsonatr you need to locally clone the repository, and then, 
 after building it, add the `target/debug` directory into your `PATH`.