fix path

leanprover-community · Oct 22, 2023 · 0a475a7 · 0a475a7
1 parent 020157d
commit 0a475a7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/vite.config.ts b/vite.config.ts
@@ -10,7 +10,7 @@ export default defineConfig({
       targets: [
         {
           src: 'node_modules/@leanprover/infoview/dist/*.production.min.js',
-          dest: '/'
+          dest: '.'
         }
       ]
     })],