From 50042ffc97f3d491be3e684661aea073d62446a7 Mon Sep 17 00:00:00 2001 From: Jonathan Cobb Date: Fri, 11 Dec 2020 12:27:55 -0500 Subject: [PATCH] update docs --- docs/docker-launcher.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docker-launcher.md b/docs/docker-launcher.md index 88bd97a1..849cd4e1 100644 --- a/docs/docker-launcher.md +++ b/docs/docker-launcher.md @@ -18,7 +18,7 @@ The header of the [launcher script](https://git.bubblev.org/bubblev/bubble/src/b describes all the launch options in detail. ### Running Launcher from Source -If you have cloned the main [Bubble git repository](https://git.bubblev.org/bubblev/bubble), you can run +If you have cloned the main [Bubble source repository](https://git.bubblev.org/bubblev/bubble), you can run the launcher directly, without using `curl`. From the top-level directory of the Bubble source repository (usually called `bubble`), run: