See if the cache has stopped getting in the way.

Author: cristianoc

Diff for: package.json

@@ -36,7 +36,7 @@
   },
   "scripts": {
     "dev": "next",
-    "build": "rescript clean -with-deps && rescript && npm run update-index && next build",
+    "build": "rescript && npm run update-index && next build",
     "test": "node scripts/test-examples.mjs && node scripts/test-hrefs.mjs",
     "reanalyze": "reanalyze -all-cmt .",
     "update-index": "node scripts/extract-indices.mjs && node scripts/extract-tocs.mjs && node scripts/extract-syntax.mjs && node scripts/generate_feed.mjs > public/blog/feed.xml"