diff --git a/docker/README.md b/deploy/README.md
similarity index 96%
rename from docker/README.md
rename to deploy/README.md
index 34f762cc1..026dcc9c0 100644
--- a/docker/README.md
+++ b/deploy/README.md
@@ -31,7 +31,7 @@ This outputs a Docker image at `./result`.
 1. (Optionally) Run the image locally to verify its integrity.
 
 ```shell
-> sudo docker run -d <name>:<tag>
+> sudo docker run -d -p 8080:4242 <name>:<tag>
 ```
 
 1. Tag and push the image to GCR.
@@ -46,7 +46,6 @@ This outputs a Docker image at `./result`.
    the uploaded Docker image from the "Container Image URL" field; click
    "Create" to deploy.
 
-
 ## Notes
 
 You may need to authorize `gcloud` by running the following:
diff --git a/docker/cloud_run.nix b/deploy/cloud_run.nix
similarity index 100%
rename from docker/cloud_run.nix
rename to deploy/cloud_run.nix
diff --git a/docker/config.lisp b/deploy/config.lisp
similarity index 100%
rename from docker/config.lisp
rename to deploy/config.lisp