diff --git a/lean4-infoview/tsconfig.json b/lean4-infoview/tsconfig.json
index a632c6c1..8230a2b0 100644
--- 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,