fix: build with rollup 4

leanprover · Oct 15, 2024 · db7b266 · db7b266
1 parent 30b8402
commit db7b266
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/lean4-infoview/tsconfig.json b/lean4-infoview/tsconfig.json
@@ -12,11 +12,15 @@
         "module": "esnext",
         "moduleResolution": "bundler",
 
-        /* Emit */
+        /* Emit code */
         "sourceMap": true,
         "rootDir": "src",
         "outDir": "dist",
 
+        /* Emit declarations */
+        "declaration": true,
+        "declarationDir": "dist",
+
         /* Interop Constraints */
         "esModuleInterop": true,
         "forceConsistentCasingInFileNames": true,