From 811c7f236637740a1928436c7c8ce5b648584f48 Mon Sep 17 00:00:00 2001
From: Brian Ward <bward@flatironinstitute.org>
Date: Thu, 20 Feb 2025 20:39:49 +0000
Subject: [PATCH] Link to Docker in local instructions

---
 docs/compilation_server_setup.md                      |  2 +-
 .../windows/SettingsWindow/CompilationServerArea.tsx  | 11 ++++++++++-
 2 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/docs/compilation_server_setup.md b/docs/compilation_server_setup.md
index 9b814201..54723db5 100644
--- a/docs/compilation_server_setup.md
+++ b/docs/compilation_server_setup.md
@@ -2,7 +2,7 @@
 
 These instructions are only required if you want to set up your own compilation server.
 
-To run your own server locally using Docker, execute the following command:
+To run your own server locally using [Docker](https://www.docker.com/), execute the following command:
 
 ```
 docker run -p 8083:8080 -it ghcr.io/flatironinstitute/stan-wasm-server:latest
diff --git a/gui/src/app/windows/SettingsWindow/CompilationServerArea.tsx b/gui/src/app/windows/SettingsWindow/CompilationServerArea.tsx
index e01f5dae..317a9933 100644
--- a/gui/src/app/windows/SettingsWindow/CompilationServerArea.tsx
+++ b/gui/src/app/windows/SettingsWindow/CompilationServerArea.tsx
@@ -75,7 +75,16 @@ const CompilationServerArea: FunctionComponent = () => {
           {serverType === "local" && (
             <FormHelperText component="div">
               To start a local compilation server{" "}
-              <span className="details">({localCompilationServerUrl})</span>:
+              <span className="details">({localCompilationServerUrl})</span>,
+              install{" "}
+              <a
+                href="https://www.docker.com/"
+                target="_blank"
+                rel="noreferrer"
+              >
+                Docker
+              </a>{" "}
+              and run:
               <pre className="dockerRun">
                 docker run -p 8083:8080 -it
                 ghcr.io/flatironinstitute/stan-wasm-server:latest