dune

(alias
 (name default)
 (deps
  bin/index.html
  bin/type_of_expr.html
  bin/type_of_expr.bc.js
  bin/expr_of_type.html
  bin/expr_of_type.bc.js
  bin/beta_reduction.html
  bin/beta_reduction.bc.js))

(alias
 (name site))

(subdir
 site
 (rule
  (alias site)
  (deps
   (alias_rec %{project_root}/default))
  (action
   (bash "cp ../bin/*.{js,html} .")))
 (subdir
  docs
  (rule
   (alias site)
   (deps
    (alias_rec %{project_root}/doc-private))
   (action
    (bash "cp -r ../../_doc/_html/* .")))))