Fix README instructions

hhu-adam · Aug 1, 2024 · 1f9ba51 · 1f9ba51
1 parent 0484afe
commit 1f9ba51
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -88,6 +88,11 @@ export default {
 ```
 
 Moreover, the infoview javascript files need to be served:
+
+```
+npm install @leanprover/infoview
+```
+
 ```ts
 // vite.config.ts
 import { viteStaticCopy } from 'vite-plugin-static-copy'
@@ -101,7 +106,7 @@ export default {
         {
           src: [
             normalizePath(path.resolve(__dirname, './node_modules/@leanprover/infoview/dist/*')),
-            normalizePath(path.resolve(__dirname, './node_modules/lean4monaco/webview/webview.js')),
+            normalizePath(path.resolve(__dirname, './node_modules/lean4monaco/dist/webview/webview.js')),
           ],
           dest: 'infoview'
         }