spectec/test-splice/dune

(mdx
  (libraries spectec)
  (deps
    (file ../src/exe-spectec/main.exe)
    ;(glob_files_rec ../../specification/*)
    (file spec-latex.in.tex)
    (file spec-sphinx.in.rst)
  )
  (files TEST.md)
)