From 95f112c500168b389db5da5544f2d105518835ce Mon Sep 17 00:00:00 2001
From: Jef LeCompte <jeffreylec@gmail.com>
Date: Mon, 28 Nov 2022 11:06:33 -0800
Subject: [PATCH] chore: ignore docs and add web to Dockerfile

---
 .dockerignore | 1 +
 Dockerfile    | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.dockerignore b/.dockerignore
index 1970493661..83048638f1 100644
--- a/.dockerignore
+++ b/.dockerignore
@@ -3,4 +3,5 @@
 .vs/
 .vscode/
 build/
+docs/
 node_modules/
diff --git a/Dockerfile b/Dockerfile
index bb7ddce2a5..d5b2033cf2 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -15,6 +15,7 @@ RUN npm ci
 
 COPY src/ src/
 COPY test/ test/
+COPY web/ web/
 RUN npm run compile
 RUN npm prune --production