hack: no build

Author: alissa-tung

lean4-infoview/package.json

@@ -2,26 +2,6 @@
     "name": "@leanprover/infoview",
     "version": "0.7.9",
     "description": "An interactive display for the Lean 4 theorem prover.",
-    "scripts": {
-        "watch": "rollup --config --environment NODE_ENV:development --watch",
-        "build": "rollup --config --environment NODE_ENV:production",
-        "watchTest": "npm run watch",
-        "test": "tsc -p test/tsconfig.json"
-    },
-    "exports": {
-        ".": {
-            "types": "./dist/index.d.ts",
-            "default": "./dist/index.production.min.js"
-        },
-        "./loader": {
-            "types": "./dist/loader.d.ts",
-            "default": "./dist/loader.production.min.js"
-        },
-        "./package.json": "./package.json"
-    },
-    "files": [
-        "dist/*"
-    ],
     "type": "module",
     "license": "Apache-2.0",
     "devDependencies": {

lean4-infoview/src/infoview/main.tsx

@@ -3,8 +3,9 @@ import * as React from 'react'
 import * as ReactDOM from 'react-dom/client'
 import type { DidCloseTextDocumentParams, DocumentUri, Location } from 'vscode-languageserver-protocol'
 
-import '@vscode/codicons/dist/codicon.css'
-import '@vscode/codicons/dist/codicon.ttf'
+// FIXME
+// import '@vscode/codicons/dist/codicon.css'
+// import '@vscode/codicons/dist/codicon.ttf'
 import 'tachyons/css/tachyons.css'
 import './highlightjs.css'
 import './index.css'