[bugfix] Need to exclude `examples` from core build.

0c970601 · Shachar Itzhaky · 0b25977d · 0c970601
Commit 0c970601 authored 3 years ago by Shachar Itzhaky
--- a/dune
+++ b/dune
@@ -54,4 +54,4 @@
  (deps
    coq-js/jscoq_worker.js))

-(dirs (:standard _vendor+* \ dist node_modules))
+(dirs (:standard _vendor+* \ dist node_modules examples))