chore: ignore docs and add web to Dockerfile

jef · Nov 28, 2022 · 95f112c · 95f112c
1 parent 36771fd
commit 95f112c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.dockerignore b/.dockerignore
@@ -3,4 +3,5 @@
 .vs/
 .vscode/
 build/
+docs/
 node_modules/
diff --git 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