chore(docker): remove erroneous extra copy

jef · jef · commit 922558262b66 · 2022-11-28T11:08:36.000-08:00
diff --git a/Dockerfile b/Dockerfile
@@ -15,7 +15,6 @@ RUN npm ci
 
 COPY src/ src/
 COPY test/ test/
-COPY web/ web/
 RUN npm run compile
 RUN npm prune --production
 
